Petri Nets for Modeling of Large Discrete Systems Asset Analytics by Davidrajuh Reggie 9811652031 9789811652035

Petri Nets for Modeling of Large Discrete Systems Asset Analytics Davidrajuh Reggie – Ebook PDF Instant Download/Delivery ISBN(s): 9789811652035, 9811652031

Product details:

• ISBN 10:9811652031 
• ISBN 13:9789811652035
• Author:Davidrajuh Reggie

This book offers a new Modular Petri Net as a solution to the vast Petri net models. It presents some approaches centering around modules (known as “Petri modules”). The goal of this book is to introduce a methodology in which Petri nets are moved to a new level. In this new level, large Petri net models are made of Petri modules, which are independent and run on different computers. This book also contains the literature study on modular Petri nets and definitions for the newer Petri modules. Also, algorithms for extracting Petri modules, and algorithms for connecting Petri modules, and applications are given in this book. Besides, the ideas and algorithms given in this book are implemented in the software General-purpose Petri Net Simulator (GPenSIM). Hence, with the use of this book the readers/users would be able to know that real-life discrete event systems could be modeled, analyzed, and performance-optimized with GPenSIM.

Table contents:

1. Introduction to Petri Nets
2. Introduction to GPenSIM
3. Models of Real-Life Systems
4. GPenSIM for Monolithic Petri Nets
5. Literature Review on Modular Petri Nets
6. Toward Developing a New Modular Petri Net
7. Design of a New Modular Petri Nets
8. GPenSIM Support for Petri Modules
9. Module Extraction
10. Activity-Oriented Petri Nets (AOPN)
11. Discrete Systems as Petri Modules
12. Algorithms for Modular Connectivity
13. Model Checking for Collaborativeness
14. Generic Petri Module

People also search:

petri net model example

petri nets example

petri net simulation

petri net tutorial

petri net analysis

a petri nets model for blockchain analysis