Description
Transactions on Petri Nets and Other Models of Concurrency XII, 1st ed. 2017
Transactions on Petri Nets and Other Models of Concurrency Series
Coordinators: Koutny Maciej, Kleijn Jetty, Penczek Wojciech, Zhang Mingmin
Language: EnglishSubjects for Transactions on Petri Nets and Other Models of...:
Keywords
formal methods; meta-modeling; model checking; petri nets; system verification; system refinement; system synthesis; graph theory; process mining; software engineering; semantics; decision diagrams; business processes; security; service composition; databases; communication protocols; distributed systems; algorithm analysis and problem complexity; data structures
Support: Print on demand
Description
/li>Contents
/li>Comment
/li>
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.