03864nam 22005655 450 991101874610332120250806165533.09789819663965(electronic bk.)978981966395810.1007/978-981-96-6396-5(MiAaPQ)EBC32256153(Au-PeEL)EBL32256153(CKB)40138049300041(DE-He213)978-981-96-6396-5(EXLCZ)994013804930004120250806d2025 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierPetri Nets for Modeling Complex Discrete-Event Systems An Approach Based on GPenSIM /by Reggie Davidrajuh1st ed. 2025.Singapore :Springer Nature Singapore :Imprint: Springer,2025.1 online resource (161 pages)Asset Analytics, Performance and Safety Management,2522-5170Print version: Davidrajuh, Reggie Petri Nets for Modeling Complex Discrete-Event Systems Singapore : Springer,c2025 9789819663958 Part I: Interfacing with GPenSIM -- Chapter 1: File Structure -- Chapter 2: Data Structures -- Chapter 3: Virtual Tokens and Virtual State -- Chapter 4: Log Files -- Chapter 5: Retention of Tokens in Places -- Part II: Interfacing with External Environment -- Chapter 6: Processor Files as Interfaces -- Chapter 7: Introduction to Supervisory Control -- Chapter 8: Supervisory Control with GPenSIM -- Chapter 9: GPenSIM Functions -- Chapter 10: Case Study.This book addresses the need for users to understand the internal workings of GPenSIM's functions, including their design and how they can be extended to model and analyze scenarios that were previously not possible. It presents previously unavailable internal details of these functions, demonstrating how systems that could not be modeled in the past can now be analyzed by extending the capabilities of the GPenSIM tool. This book concentrates on the internal mechanics of the GPenSIM tool, specifically aimed at benefiting tool developers and designers. GPenSIM is a tool for modeling discrete systems, widely used in many universities around the world. The author of this book developed GPenSIM, which has been utilized to model various practical scenarios. Users often seek to understand the inner workings of GPenSIM, such as its design and its integration with other tools. This book addresses these aspects and acts as a reference manual for GPenSIM, helping users quickly grasp the various ways to utilize its functions and how these can be tailored to specific cases. One of the notable features of GPenSIM is its tight integration with MATLAB. This not only facilitates easy deployment and operation but also allows users to leverage MATLAB's extensive libraries for practical applications across various fields. The details provided in this book, along with its structured format, will greatly assist both university students and practicing engineers.Asset Analytics, Performance and Safety Management,2522-5170Computer scienceSoftware engineeringComputer networksTheory of ComputationSoftware EngineeringComputer Communication NetworksComputer science.Software engineering.Computer networks.Theory of Computation.Software Engineering.Computer Communication Networks.004.0151Davidrajuh Reggie848062MiAaPQMiAaPQMiAaPQ9911018746103321Petri Nets for Modeling Complex Discrete-Event Systems4414832UNINA