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

Author:   Reggie Davidrajuh
Publisher:   Springer Nature Switzerland AG
ISBN:  

9789819663958


Pages:   204
Publication Date:   05 August 2025
Format:   Hardback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $527.97 Quantity:  
Add to Cart

Share |

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


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.

Full Product Details

Author:   Reggie Davidrajuh
Publisher:   Springer Nature Switzerland AG
Imprint:   Springer Nature Switzerland AG
ISBN:  

9789819663958


ISBN 10:   9819663954
Pages:   204
Publication Date:   05 August 2025
Audience:   Professional and scholarly ,  College/higher education ,  Professional & Vocational ,  Postgraduate, Research & Scholarly
Format:   Hardback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

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.

Reviews

Author Information

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.

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

RGFEB26

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List