Focusing on the modeling of concurrent and distributed systems, this book explores the use of Petri nets, which facilitate the communication between active components through the production and absorption of different resources. It provides insights into the structure and dynamics of these systems, making it a valuable resource for understanding complex interactions in various applications.
36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings
This book constitutes the proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2015, held in Brussels, Belgium, in June 2015. The 12 regular papers and 2 tool papers presented in this volume were carefully reviewed and selected from 34 submissions. In addition the book contains 3 invited talks in full paper length. The papers cover various topics in the field of Petri nets and related models of concurrency.
In modern society, computer-based systems have become essential, fundamentally changing how people conduct business. Among the various technologies available, concurrent systems play a crucial role due to the prevalence of concurrent phenomena in applications like control systems, computer networks, digital hardware, business computing, and multimedia systems. These systems exhibit increasing complexity as numerous active components interact. This complexity has been recognized and addressed within the computing science community, leading to the development of several formal models for concurrent systems. This work brings together two widely used formalisms for describing and analyzing these systems: Petri nets and process algebras. Process algebras enable the specification and reasoning about complex concurrent computing system designs using algebraic operators that reflect common programming constructs. In contrast, Petri nets offer a graphical representation of these systems, facilitating efficient verification of correctness and expressing properties related to causality and concurrency in system behavior. This integration of methodologies provides a comprehensive framework for understanding and managing the intricacies of concurrent systems in computing.