| Description |
1 online resource : illustrations (some color) |
| Series |
Asset analytics, 2522-5170 |
|
Asset analytics. 2522-5170
|
| Contents |
Introduction to Petri nets -- Introduction to GPenSIM -- Models of Real-Life Systems -- GPenSIM for Monolithic Petri nets -- Literature Review on Modular Petri nets -- Towards Developing a New Modular Petri net -- Design of a New Modular Petri nets -- GPenSIM Support for Petri Modules -- Module Extraction -- Activity-Oriented Petri nets (AOPN) |
| Summary |
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 |
| Bibliography |
Includes bibliographical references and index |
| Notes |
Online resource; title from PDF title page (SpringerLink, viewed October 4, 2021) |
| Subject |
Petri nets.
|
|
Computer networks -- Mathematical models
|
|
Computer programming -- Mathematical models
|
|
Computer networks -- Mathematical models
|
|
Petri nets
|
| Form |
Electronic book
|
| ISBN |
9789811652035 |
|
9811652031 |
|
