Colored Petri Nets for Modeling of Discrete Systems: A Practical Approach With GPenSIM / by Reggie Davidrajuh
Por: Davidrajuh, Reggie, autor.
Tipo de material:
E-bookSeries (Asset Analytics, Performance and Safety Management,, 2522-5170).Editor: Singapore : Springer International Publishing, 2023Edición: 1st ed 2023.Descripción: 1 recurso en línea.ISBN: 9789819968596.Tema: Mathematics
| Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems | |
|---|---|---|---|---|---|---|---|---|
LIBRO-E NO PRÉSTAMO
|
Valencia Digital Acceso Electrónico (UEV) | Ciencias Sociales | QA76.25 2023 EB (Navegar estantería(Abre debajo)) | Acceso electrónico | eBook16022622 |
Navegando Valencia Digital estanterías, Ubicación en estantería: Acceso Electrónico (UEV) Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| QA75.5 2023 EB Proceedings of the Tenth International Forum of Decision Sciences | QA75.5 .T35 2021 EB Bio-information for Hygiene | QA76 .S83 2020 EB Practical Splunk Search Processing Language : A Guide for Mastering SPL Commands for Maximum Efficiency and Outcome | QA76.25 2023 EB Colored Petri Nets for Modeling of Discrete Systems: A Practical Approach With GPenSIM | QA76.76.D47. F69 2019 EB Navigating Hybrid Scrum Environments : Understanding the Essentials, Avoiding the Pitfalls | QA76.76 .D47N33 2019 EB An Executive's Guide to Software Quality in an Agile Organization : A Continuous Improvement Journey | QA76.76 .H37 2019 EB Achieving DevOps : A Novel About Delivering the Best of Agile, DevOps, and Microservices |
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.
This book offers a practical approach to modeling real-world discrete systems and performing analysis. The theory behind the book is the Colored Petri nets, and the tool used for simulations is general-purpose Petri net simulator (GPenSIM). The theory part is kept to a minimum, and more explanation is given to the GPenSIM functions and how they can be used for modeling, simulation, and performance analysis. Real-world industrial systems possess a large number of resources. Modeling these systems with Petri nets would become a problem as they result in huge Petri net models. This book offers a unique solution to this problem by moving resources away from the Petri net model and treating them as variables in the background. Also, the theory and practice put forward in the book help cost estimation of the systems (e.g., manufacturing subsystems).
No hay comentarios en este titulo.