Systems Engineering Petri Nets: Modeling, Verification, and Application Guide

Author: (French) Jiot et al. (Authored), Wang Shengyuan et al. (Translated)
Publisher:
Publish Date: 2005-06-01
Features: As systems become larger and more complex, formal methods applied in hardware and software specification and verification are becoming increasingly important. This book aims to illustrate relevant advancements in formal methods through formal processes using Petri nets. The book employs numerous examples from various application domains, such as flexible manufacturing systems, workflow management systems, and telecommunication systems. The content covers several key stages in the entire lifecycle of a system's design and implementation, including specification for proof, model verification techniques, property analysis, code generation, and model execution. The book provides a detailed discussion of these techniques and their supporting tools, as well as an analysis of potential issues encountered in practical applications. Additionally, the authors systematically introduce fundamental concepts such as composition, abstraction, model reuse, model verification, and property verification. This book is an excellent teaching and research reference on the modeling, verification, and application of Petri nets. It is divided into five parts and 27 chapters. First, it explains the basic concepts of Petri nets, introducing the fundamental definitions of constant arc nets, place/transition nets, and colored nets through examples. The authors then discuss how to apply Petri nets to construct systems and present 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 techniques using deductive methods and process algebras. It also explains Petri net validation and execution, covering not only software lifecycle-related content but also detailing how Petri nets can be used for modeling and analysis in the development of complex systems. Finally, the authors conduct an in-depth study of Petri nets in three different application domains: flexible manufacturing systems, workflow management systems, and telecommunication systems. The content is comprehensive, well-structured, and explains various concepts, methods, and applications 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 resource for professionals engaged in software system research.