Transactions on Petri Nets and Other Models of Concurrency XII
(Sprache: Englisch)
The 12th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 37th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2016, and the 16th International...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
Fr. 59.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
Produktdetails
Produktinformationen zu „Transactions on Petri Nets and Other Models of Concurrency XII “
Klappentext zu „Transactions on Petri Nets and Other Models of Concurrency XII “
The 12th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 37th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2016, and the 16th International Conference on Application of Concurrency to System Design, ACSD 2016. It also contains one paper submitted directly to ToPNoC.The 9 papers cover a diverse range of topics including model checking and system verification, refinement, and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: security, service composition, databases, communication protocols, business processes, and distributed systems. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.
Inhaltsverzeichnis zu „Transactions on Petri Nets and Other Models of Concurrency XII “
Properties of Plain, Pure, and Safe Petri Nets.- Similarity-based Approaches for Determining the Number of Trace Clusters in Process Discovery.- Log- and Model-Based Techniques for Security-Sensitive Tackling of Obstructed Workflow Executions.- Formal Modelling and Analysis of Distributed Storage Systems.- DB-Nets: on the Marriage of Colored Petri Nets and Relational Databases.- Transition Systems Reduction: Balancing between Precision and Simplicity.- Stubborn Set Intuition Explained.- Decomposed Replay Using Hiding and Reduction as Abstraction.- Multiplicative Transition Systems.Bibliographische Angaben
- 2017, 1st ed. 2017, XVII, 217 Seiten, Masse: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang
- Verlag: Springer, Berlin
- ISBN-10: 3662558610
- ISBN-13: 9783662558614
- Erscheinungsdatum: 26.09.2017
Sprache:
Englisch
Kommentar zu "Transactions on Petri Nets and Other Models of Concurrency XII"
0 Gebrauchte Artikel zu „Transactions on Petri Nets and Other Models of Concurrency XII“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Transactions on Petri Nets and Other Models of Concurrency XII".
Kommentar verfassen