| Record Type: |
Electronic resources
: Monograph/item
|
| Title/Author: |
Petri nets for modeling complex discrete-event systems/ by Reggie Davidrajuh. |
| Reminder of title: |
an approach based on GPenSIM / |
| Author: |
Davidrajuh, Reggie. |
| Published: |
Singapore :Springer Nature Singapore : : 2025., |
| Description: |
xix, 204 p. :ill., digital ;24 cm. |
| [NT 15003449]: |
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. |
| Contained By: |
Springer Nature eBook |
| Subject: |
Petri nets. - |
| Online resource: |
https://doi.org/10.1007/978-981-96-6396-5 |
| ISBN: |
9789819663965 |