Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Colored Petri Nets for Modeling of Discrete Systems : A Practical Approach With GPenSIM / / by Reggie Davidrajuh
| Colored Petri Nets for Modeling of Discrete Systems : A Practical Approach With GPenSIM / / by Reggie Davidrajuh |
| Autore | Davidrajuh Reggie |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (222 pages) |
| Disciplina | 410.5 |
| Collana | Asset Analytics, Performance and Safety Management |
| Soggetto topico |
Computer science
Software engineering Computer engineering Computer networks Theory of Computation Software Engineering Computer Engineering and Networks |
| ISBN | 981-9968-59-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction to GPenSIM -- PART I: Colored Petri Nets -- Colored Petri Nets -- Modeling Classical Problems with Colored Petri Nets -- Token Selection from multiple Input Places -- Token Selection based on Time -- Token Selection based on Cost -- PART-II: GPenSIM Resources -- GPenSIM Resources -- Activity-Oriented Petri Nets -- Costs of Resource Usage -- PART-III: Data Structures and Conclusion -- Run-Time Data Structures in GPenSIM -- GPenSIM: current applications and further development. |
| Record Nr. | UNINA-9910760286103321 |
Davidrajuh Reggie
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modeling Discrete-Event Systems with GPenSIM : An Introduction / / by Reggie Davidrajuh
| Modeling Discrete-Event Systems with GPenSIM : An Introduction / / by Reggie Davidrajuh |
| Autore | Davidrajuh Reggie |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (144 pages) |
| Disciplina | 003.830113 |
| Collana | SpringerBriefs in Applied Sciences and Technology |
| Soggetto topico |
Automatic control
Computer simulation Engineering economy Control and Systems Theory Simulation and Modeling Engineering Economics, Organization, Logistics, Marketing |
| ISBN | 3-319-73102-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Modeling with GPenSIM: Basic Concepts -- GPenSIM Processor Files -- Analysis of Petri Nets -- Optimizing Simulations with GPenSIM -- Petri Net Extensions -- Performance Evaluation -- Interfacing with the External Environment -- Structural Invariants. |
| Record Nr. | UNINA-9910299952303321 |
|
Davidrajuh Reggie
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Petri Nets for Modeling Complex Discrete-Event Systems : An Approach Based on GPenSIM / / by Reggie Davidrajuh
| Petri Nets for Modeling Complex Discrete-Event Systems : An Approach Based on GPenSIM / / by Reggie Davidrajuh |
| Autore | Davidrajuh Reggie |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (161 pages) |
| Disciplina | 004.0151 |
| Collana | Asset Analytics, Performance and Safety Management |
| Soggetto topico |
Computer science
Software engineering Computer networks Theory of Computation Software Engineering Computer Communication Networks |
| ISBN |
9789819663965
9789819663958 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9911018746103321 |
|
Davidrajuh Reggie
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Petri nets for modeling of large discrete systems / / Reggie Davidrajuh
| Petri nets for modeling of large discrete systems / / Reggie Davidrajuh |
| Autore | Davidrajuh Reggie |
| Pubbl/distr/stampa | Gateway East, Singapore : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (236 pages) |
| Disciplina | 004.60151982 |
| Collana | Asset analytics |
| Soggetto topico | Computer networks - Mathematical models |
| ISBN | 981-16-5203-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910503005703321 |
|
Davidrajuh Reggie
|
||
| Gateway East, Singapore : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the International Conference on Artificial Intelligence and its Applications / / Reggie Davidrajuh, Pius Adewale Owolawi, Sameerchand Pudaruth
| Proceedings of the International Conference on Artificial Intelligence and its Applications / / Reggie Davidrajuh, Pius Adewale Owolawi, Sameerchand Pudaruth |
| Autore | Davidrajuh Reggie |
| Pubbl/distr/stampa | New York, New York : , : Association for Computing Machinery, , 2021 |
| Descrizione fisica | 1 online resource (125 pages) : illustrations |
| Disciplina | 006.3 |
| Collana | ACM international conference proceedings series |
| Soggetto topico | Artificial intelligence |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910510417003321 |
|
Davidrajuh Reggie
|
||
| New York, New York : , : Association for Computing Machinery, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||