This book offers a new Modular Petri Net as a solution to the vast Petri net models. It presents some approaches centering around modules (known as “Petri modules”). The goal of this book is to introduce a methodology in which Petri nets are moved to a new level. In this new level, large Petri net models are made of Petri modules, which are independent and run on different computers. 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,...

This book offers a practical approach to modeling real-world discrete systems and performing analysis. The theory behind the book is the Colored Petri nets, and the tool used for simulations is general-purpose Petri net simulator (GPenSIM). The theory part is kept to a minimum, and more explanation is given to the GPenSIM functions and how they can be used for modeling, simulation, and performance analysis. Real-world industrial systems possess a large number of resources. Modeling these systems with Petri nets would become a problem as they result in huge Petri net models. This book...

This book offers a practical approach to modeling real-world discrete systems and performing analysis. The theory behind the book is the Colored Petri nets, and the tool used for simulations is general-purpose Petri net simulator (GPenSIM). The theory part is kept to a minimum, and more explanation is given to the GPenSIM functions and how they can be used for modeling, simulation, and performance analysis. Real-world industrial systems possess a large number of resources. Modeling these systems with Petri nets would become a problem as they result in huge Petri net models. This book...