Electronic Resource

Petri Nets for Modeling of Large Discrete Systems

---

Penilaian

---

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.

---

Availability

Inventory Code	Barcode	Call Number	Location	Status
2108000411	EB0005160	003.3 Dav p	Central Library (OPAC)	Available

Detail Information

Series Title

Asset Analytics

Call Number

003.3 Dav p

Publisher

Singapore : Springer Nature Singapore., 2021

Collation

xxxi, 222p.:ill

Language

English

ISBN/ISSN

978-981-16-5203-5

Classification

003.3

Content Type

Ebook

Media Type

-

Carrier Type

online resource

Edition

1

Subject(s)

Computer Modeling and Simulation
Computer Systems Organization

Specific Detail Info

-

Statement of Responsibility

BRF

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment