Petri Nets for Modeling Complex Discrete-Event Systems: An Approach Based on GPenSIM

by Reggie Davidrajuh

Overview

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.

Product Details

ISBN-13:	9789819663965
Publisher:	Springer-Verlag New York, LLC
Publication date:	08/04/2025
Series:	Asset Analytics
Sold by:	Barnes & Noble
Format:	eBook
File size:	66 MB
Note:	This product may take a few minutes to download.

About the Author

Reggie Davidrajuh has a master's degree in control systems and a Ph.D. in industrial engineering (awarded by the Norwegian University of Science and Technology). Also, he has a D.Sc. (habilitation) degree in information science (AGH University of Science and Technology) and one more Ph.D. in mechanical engineering (Silesian University of Technology). He is presently a professor of informatics at the University of Stavanger, Norway, and holds a visiting professor position at the Silesian University of Technology, Poland. Dr. Davidrajuh has published three books so far. "Modeling Discrete-Event Systems with GPenSIM: An Introduction" in 2018, "Petri Nets for Modeling of Large Discrete Systems" in 2022, and "Colored Petri Nets for Modeling of Discrete Systems" in 2023. Springer published all three books. He is a senior member of IEEE. He is also a member of the Norwegian Academy of Technical Sciences.

Table of Contents

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.