Systems Engineering Petri Nets

Author: Wang Shengyuan
Publisher:
Publish Date: 2005-06-01
Features: This book is an excellent teaching and research reference on the modeling, verification, and application of Petri Nets. It is divided into five parts with a total of 27 chapters. First, it explains the basic concepts of Petri Nets and introduces the fundamental definitions of constant arc nets, place/transition nets, and colored nets through examples. The author then discusses how to apply Petri Nets to construct systems and provides various modeling methods. The book introduces the main methods for verifying Petri Net models, including state-space-based methods, model checking, structural methods, and advanced methods using deduction and process algebras. It also explains the validation and execution of Petri Nets, covering not only the software life cycle but also detailing how to use Petri Nets for modeling and analysis in the development of complex systems. Finally, the author conducts an in-depth study of Petri Nets in three different application domains: flexible manufacturing systems, workflow management systems, and telecommunication systems. The content of the book is comprehensive, the structure is clear, and various concepts, methods, and applications are explained through numerous examples. This book can serve as a textbook or reference for undergraduate and graduate students in computer-related fields, as well as a valuable reference for those engaged in software system research.