 Neuerscheinungen 2017Stand: 2020-02-01 |
Schnellsuche
ISBN/Stichwort/Autor
|
Herderstraße 10 10625 Berlin Tel.: 030 315 714 16 Fax 030 315 714 14 info@buchspektrum.de |

Jetty Kleijn, Maciej Koutny, Wojciech Penczek, Mingmin Zhang
(Beteiligte)
Transactions on Petri Nets and Other Models of Concurrency XII
Herausgegeben von Koutny, Maciej; Kleijn, Jetty; Penczek, Wojciech; Zhang, Mingmin
1st ed. 2017. 2017. xvii, 217 S. 89 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG 2017
ISBN: 3-662-55861-0 (3662558610)
Neue ISBN: 978-3-662-55861-4 (9783662558614)
Preis und Lieferzeit: Bitte klicken
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.
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.