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). 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 are easily compatible 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 their applications in modeling and analyzing real-world systems. It also includes some of the author's own research findings. The main contents include: the basic concepts, properties, and analysis methods of Petri nets, various common variants of Petri nets, and the fundamental concepts 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 related technical professionals. This book primarily introduces the basic principles and fundamental analysis methods of Petri nets, as well as their applications in modeling and analyzing real-world systems, and also includes some of the author's own research findings.