Colored Petri Nets for Modeling of Discrete Systems

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 offers a unique solution to this problem by moving resources away from the Petri net model and treating them as variables in the background. Also, the theory and practice put forward in the book help cost estimation of the systems (e.g., manufacturing subsystems).

Analyzes real-world industrial systems Helps estimate the cost of the systems (e.g., manufacturing subsystems) Offers a practical approach to modeling real-world discrete systems and performing analysis

Autorentext
Reggie Davidrajuh has a Bachelor's study in Physics, a Master's degree in Control Systems, and a Ph.D. in Industrial Engineering (awarded by the Norwegian University of Science and Technology). Also, he has a D.Sc. (habilitation) degree in Information Science (AGH University of Science and Technology) and one more Ph.D. in Mechanical Engineering (Silesian University of Technology). He is presently a professor of Informatics at the University of Stavanger, Norway, and holds a visiting professor position at the Silesian University of Technology, Poland. He has published two books so far. "Modeling Discrete-Event Systems with GPenSIM: An Introduction" in 2018 and "Petri Nets for Modeling of Large Discrete Systems" in 2022, both published by Springer. He serves on the editorial committees of many journals and has published over 150 publications in diverse areas such as supply chain, e-commerce, e-government, modeling and simulation, discrete-event systems, green power generation, etc.

Inhalt

Introduction to GPenSIM.- PART I: Colored Petri Nets.- Colored Petri Nets.- Modeling Classical Problems with Colored Petri Nets.- Token Selection from multiple Input Places.- Token Selection based on Time.- Token Selection based on Cost.- PART-II: GPenSIM Resources.- GPenSIM Resources.- Activity-Oriented Petri Nets.- Costs of Resource Usage.- PART-III: Data Structures and Conclusion.- Run-Time Data Structures in GPenSIM.- GPenSIM: current applications and further development.