| 紀錄類型: |
書目-電子資源
: Monograph/item
|
| 正題名/作者: |
Petri nets for modeling complex discrete-event systems/ by Reggie Davidrajuh. |
| 其他題名: |
an approach based on GPenSIM / |
| 作者: |
Davidrajuh, Reggie. |
| 出版者: |
Singapore :Springer Nature Singapore : : 2025., |
| 面頁冊數: |
xix, 204 p. :ill., digital ;24 cm. |
| 內容註: |
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 |
| 標題: |
Petri nets. - |
| 電子資源: |
https://doi.org/10.1007/978-981-96-6396-5 |
| ISBN: |
9789819663965 |