Introduction to Petri Nets

Author: Wu Zhehui
Publisher:
Publish Date: 2006-04-01
Features: What is a Petri net? It is a modeling and analysis tool for distributed systems. It is particularly suitable for describing the relationships of processes or components in a system, such as sequence, concurrency, conflict, and synchronization. As a system model, Petri nets can not only depict the structure of a system but also describe its dynamic behavior (e.g., state changes of the system). Petri nets have both intuitive graphical representations and can be analyzed using various mathematical methods. For complex systems, Petri nets can be described hierarchically, refined step by step, and facilitate communication with object-oriented methodologies. This book was written by the author based on their experience teaching Petri net theory courses. It primarily introduces the basic principles and fundamental analysis methods of Petri nets, as well as the application of these principles and methods in modeling and analyzing real-world systems. It also includes some of the author's own research findings. The main content includes: the basic concepts, properties, and analysis methods of Petri nets, various common variants of Petri nets, and the fundamental content of concurrency theory and synchronization theory in general net theory. This book can serve as a textbook for graduate students or senior undergraduate students in computer science and automation at universities, as well as a reference for relevant technical personnel. This book primarily introduces the basic principles and fundamental analysis methods of Petri nets, as well as the application of these principles and methods in modeling and analyzing real-world systems, and also includes some of the author's own research findings.