Principle of Petri Nets

Erscheinungsjahr 2026
ISBN: 978-981-97-7338-1
Verlag: Springer

Buch, Englisch, 193 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 324 g

“Principle of Petri nets” is the ultimate guide for understanding the fundamental principles of Petri nets and their potential applications.

The book provides a detailed introduction to basic concepts such as global time, global state, and global control, and demonstrates how they relate to effective modeling of complex systems. Especially, the book covers the critical concepts of net system hierarchy formed with net folding and various methods for system analysis to give readers the tools they need to create and test effective models.

This book’s extensive application examples, including N-lift control, business process modeling, and a three-layer model for business process management (BPM), offer readers invaluable real-world insights and practical knowledge. Moreover, the book includes coverage of key topics such as concurrent nets (C-nets) that introduce data types into nets, general net theory like synchrony, enlogy (net logic), net topology, concurrency axioms, and information systems for reversible information transfer.

This book is an essential reference for students, researchers, and professionals interested in enhancing their understanding of Petri nets, systems design, and other complex processes.

Zielgruppe

Research

Autoren/Hrsg.

Yuan, Chongyi

Fachgebiete

• Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker

Inhaltsverzeichnis

Chapter 1 Concepts shared by net systems.- Chapter 2 The system hierarchy.- Chapter 3 EN-system.- Chapter 4 Place/Transition net systems.- Chapter 5 High level net systems: Pr/T-system.- Chapter 6 colour net systems.- Chapter 7 Self-control systems.- Chapter 9 Synchronizer.- hapter 10  Business process management (BPM).- Chapter 11 Synchrony.- Chapter 12 Net logic (Enlogy).- Chapter 13 Information flow structure.- Chapter 14 Net topology.- Chapter 15 Concurrency.

Über Autor(innen)

Mr Chongyi Yuan retired as a professor from School of Information Science, Peking University 2005. He worked for more than 28 years, at Institute of Mathematics, Chinese Academy of Sciences since his graduation from the Department of Mathematics, Nanjing University in 1964. He was transferred to the Department of Computer Science, Peking University in 1993, where he taught two master courses based on his research interests: Petri nets and formal semantics. As a visiting scholar, he spent more than 2 years at Toronto University and Waterloo University, Canada; and more than 3 years at GMD, Bonn (west) Germany. Prof. Chongyi Yuan has published four books on Petri nets in Chinese and one book on theory of programming in English.