Petri Nets for Modeling of Large Discrete Systems

This book offers a new Modular Petri Net as a solution to the vast Petri net models. This book also contains the literature study on modular Petri nets and definitions for the newer Petri modules. Also, algorithms for extracting Petri modules, and algorithms for connecting Petri modules, and applications are given in this book.