TY  - GEN
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
AU  - Davidrajuh, Reggie,
CN  - TA347.N46
DO  - 10.1007/978-981-16-5203-5
DO  - doi
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)
LK  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-981-16-5203-5
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
SN  - 9789811652035
SN  - 9811652031
T1  - Petri nets for modeling of large discrete systems /
TI  - Petri nets for modeling of large discrete systems /
UR  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-981-16-5203-5
ER  -