000 02470nam a22003135i 4500
001 239260
003 ES-VaUE
005 20240306114312.0
007 cr nn 008mamaa
008 210921s2021 si | o |||| 0|eng d
020 _a9789811652035
024 7 _a10.1007/978-981-16-5203-5
_2doi
040 _aES-VaU
_bspa
_cES-VaU
_dES-VaU
050 4 _aQA75.5-76.95
_b2021 EB
100 1 _aDavidrajuh, Reggie.
_eautor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
245 0 0 _aPetri Nets for Modeling of Large Discrete Systems
_cby Reggie Davidrajuh
250 _a1st ed. 2021.
264 1 _aSingapore
_c2021
_bSpringer International Publishing
300 _a1 recurso en línea
336 _atexto
_btxt
_2rdacontent
337 _aelectrónico
_bc
_2rdamedia
338 _arecurso electrónico
_bcr
_2rdacarrier
490 0 _aAsset Analytics, Performance and Safety Management
_x2522-5170
505 0 _aIntroduction to Petri nets -- Introduction to GPenSIM -- Models of Real-Life Systems -- GPenSIM for Monolithic Petri nets -- Literature Review on Modular Petri nets -- Towards Developing a New Modular Petri net -- Design of a New Modular Petri nets -- GPenSIM Support for Petri Modules -- Module Extraction -- Activity-Oriented Petri nets (AOPN).
520 _aThis 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.
856 4 0 _uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-981-16-5203-5
_zAcceso a este recurso digital (usuarios Universidad Europea de Valencia)
942 _2lcc
_cLE
988 _aSpringer_Business_2021
999 _c239260
_d239260