Petri Nets for Modeling Complex Discrete-Event Systems

An Approach Based on GPenSIM

Reggie Davidrajuh (Autor)

Buch | Hardcover

204 Seiten

2025
Springer Nature Switzerland AG (Verlag)
978-981-96-6395-8 (ISBN)

Titel nicht im Sortiment

Artikel merken

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.

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.

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.

Erscheinungsdatum	05.08.2025
Reihe/Serie	Asset Analytics
Zusatzinfo	47 Illustrations, color; 23 Illustrations, black and white
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Netzwerke
	Mathematik / Informatik ► Informatik ► Software Entwicklung
	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	Colored Petri Nets with GPenSIM • Data Structures in GPenSIM • Interfacing with GPenSIM • Modeling Large Discrete Systems with GPenSIM • Reference Manual for GPenSIM Functions • supervisory control
ISBN-10	981-96-6395-4 / 9819663954
ISBN-13	978-981-96-6395-8 / 9789819663958
Zustand	Neuware