001483947 000__ 03278cam\\22005057i\4500 001483947 001__ 1483947 001483947 003__ OCoLC 001483947 005__ 20240117003308.0 001483947 006__ m\\\\\o\\d\\\\\\\\ 001483947 007__ cr\un\nnnunnun 001483947 008__ 231109s2023\\\\si\a\\\\ob\\\\001\0\eng\d 001483947 020__ $$a9789819968596$$q(electronic bk.) 001483947 020__ $$a9819968593$$q(electronic bk.) 001483947 020__ $$z9789819968589 001483947 0247_ $$a10.1007/978-981-99-6859-6$$2doi 001483947 035__ $$aSP(OCoLC)1408677412 001483947 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dEBLCP$$dOCLCO$$dOCLCQ 001483947 049__ $$aISEA 001483947 050_4 $$aQA267 001483947 08204 $$a511.3/5$$223/eng/20231109 001483947 1001_ $$aDavidrajuh, Reggie,$$eauthor. 001483947 24510 $$aColored petri nets for modeling of discrete systems :$$ba practical approach with GPenSIM /$$cReggie Davidrajuh. 001483947 264_1 $$aSingapore :$$bSpringer,$$c2023. 001483947 300__ $$a1 online resource (xxiii, 216 pages) :$$billustrations (some color) 001483947 336__ $$atext$$btxt$$2rdacontent 001483947 337__ $$acomputer$$bc$$2rdamedia 001483947 338__ $$aonline resource$$bcr$$2rdacarrier 001483947 4901_ $$aAsset analytics, performance and safety management,$$x2522-5170 001483947 504__ $$aIncludes bibliographical references and index. 001483947 5050_ $$aIntroduction 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. 001483947 506__ $$aAccess limited to authorized users. 001483947 520__ $$aThis 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). 001483947 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed November 9, 2023). 001483947 650_6 $$aRéseaux de Pétri. 001483947 650_0 $$aPetri nets.$$vCongresses$$0(DLC)sh2010105855 001483947 655_0 $$aElectronic books. 001483947 830_0 $$aAsset analytics, performance and safety management,$$x2522-5170 001483947 852__ $$bebk 001483947 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-981-99-6859-6$$zOnline Access$$91397441.1 001483947 909CO $$ooai:library.usi.edu:1483947$$pGLOBAL_SET 001483947 980__ $$aBIB 001483947 980__ $$aEBOOK 001483947 982__ $$aEbook 001483947 983__ $$aOnline 001483947 994__ $$a92$$bISE