001439860 000__ 03378cam\a2200577\i\4500
001439860 001__ 1439860
001439860 003__ OCoLC
001439860 005__ 20230309004526.0
001439860 006__ m\\\\\o\\d\\\\\\\\
001439860 007__ cr\un\nnnunnun
001439860 008__ 210924s2021\\\\si\a\\\\ob\\\\001\0\eng\d
001439860 019__ $$a1284943083
001439860 020__ $$a9789811652035$$q(electronic bk.)
001439860 020__ $$a9811652031$$q(electronic bk.)
001439860 020__ $$z9789811652028
001439860 020__ $$z9811652023
001439860 0247_ $$a10.1007/978-981-16-5203-5$$2doi
001439860 035__ $$aSP(OCoLC)1269054581
001439860 040__ $$aYDX$$beng$$erda$$epn$$cYDX$$dN$T$$dEBLCP$$dN$T$$dGW5XE$$dOCLCO$$dOCLCF$$dUKAHL$$dOCLCO$$dOCLCQ$$dCOM$$dOCLCO$$dOCLCQ
001439860 049__ $$aISEA
001439860 050_4 $$aTA347.N46$$bD38 2021
001439860 08204 $$a006.3/2$$223
001439860 1001_ $$aDavidrajuh, Reggie,$$eauthor.
001439860 24510 $$aPetri nets for modeling of large discrete systems /$$cReggie Davidrajuh.
001439860 264_1 $$aSingapore :$$bSpringer,$$c[2021]
001439860 264_4 $$c©2021
001439860 300__ $$a1 online resource :$$billustrations (some color)
001439860 336__ $$atext$$btxt$$2rdacontent
001439860 337__ $$acomputer$$bc$$2rdamedia
001439860 338__ $$aonline resource$$bcr$$2rdacarrier
001439860 4901_ $$aAsset analytics,$$x2522-5170
001439860 504__ $$aIncludes bibliographical references and index.
001439860 5050_ $$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).
001439860 506__ $$aAccess limited to authorized users.
001439860 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
001439860 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 4, 2021).
001439860 650_0 $$aPetri nets.
001439860 650_0 $$aComputer networks$$xMathematical models.
001439860 650_0 $$aComputer programming$$xMathematical models.
001439860 650_6 $$aRéseaux de Pétri.
001439860 650_6 $$aRéseaux d'ordinateurs$$xModèles mathématiques.
001439860 650_6 $$aProgrammation (Informatique)$$xModèles mathématiques.
001439860 655_0 $$aElectronic books.
001439860 77608 $$iPrint version:$$z9811652023$$z9789811652028$$w(OCoLC)1259585475
001439860 830_0 $$aAsset analytics.$$x2522-5170
001439860 852__ $$bebk
001439860 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-981-16-5203-5$$zOnline Access$$91397441.1
001439860 909CO $$ooai:library.usi.edu:1439860$$pGLOBAL_SET
001439860 980__ $$aBIB
001439860 980__ $$aEBOOK
001439860 982__ $$aEbook
001439860 983__ $$aOnline
001439860 994__ $$a92$$bISE