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.
