TY - GEN N2 - 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, and applications are given in this book. Besides, the ideas and algorithms given in this book are implemented in the software General-purpose Petri Net Simulator (GPenSIM). Hence, with the use of this book the readers/users would be able to know that real-life discrete event systems could be modeled, analyzed, and performance-optimized with GPenSIM DO - 10.1007/978-981-16-5203-5 DO - doi AB - 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, and applications are given in this book. Besides, the ideas and algorithms given in this book are implemented in the software General-purpose Petri Net Simulator (GPenSIM). Hence, with the use of this book the readers/users would be able to know that real-life discrete event systems could be modeled, analyzed, and performance-optimized with GPenSIM T1 - Petri nets for modeling of large discrete systems / AU - Davidrajuh, Reggie, CN - TA347.N46 ID - 1439860 KW - Petri nets. KW - Computer networks KW - Computer programming KW - Réseaux de Pétri. KW - Réseaux d'ordinateurs KW - Programmation (Informatique) SN - 9789811652035 SN - 9811652031 TI - Petri nets for modeling of large discrete systems / LK - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-981-16-5203-5 UR - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-981-16-5203-5 ER -