Dynamic analysis of Petri net-based discrete systems (Q885347)

The book ''Dynamic Analysis of Petri Net-Based Discrete Systems'' is dedicated to the behavioral properties analysis of parallel discrete systems using the partial state space approach. This book presents numerous original results in this area, which are mostly referred to the analysis of some classes of Petri nets and extended Petri nets (such as interpreted Petri nets or Petri nets with inhibitor arcs). Besides this, new methods of verification of control algorithms, expressed in Statecharts, SFC, or in other languages of logic control, or as automata networks, are presented. The main problems considered in this book are: deadlock detection, well-formedness (liveness and safeness) of Petri-net-based systems, and reachability analysis. Also there are presented new results on behavioral properties of Petri nets and on the methods of partial state space exploration (for example: a generalization of the stubborn set method for a wide class of parallel discrete systems; a new method of concurrent simulation of Petri nets). It is worth mentioning also the original approach to the decomposition of Petri nets and the methods of verifying some steps of design process of logical controllers. Appendix presents some additional results partially outside the book main topic, where the most interesting is the improved method for generation of prime implicants of Boolean functions. The book may be useful for researchers and engineers, including graduate students, interesting in the computer-aided design of logical control devices.