國立高雄大學圖資館 |

Language: English

Back

Petri nets for modeling of large dis...

Davidrajuh, Reggie.

Petri nets for modeling of large discrete systems

Record Type:	Electronic resources : Monograph/item
Title/Author:	Petri nets for modeling of large discrete systemsby Reggie Davidrajuh.
Author:	Davidrajuh, Reggie.
Published:	Singapore :Springer Singapore :2021.
Description:	xxxi, 222 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Petri nets.
Online resource:	https://doi.org/10.1007/978-981-16-5203-5
ISBN:	9789811652035$q(electronic bk.)

Petri nets for modeling of large discrete systems
Davidrajuh, Reggie.

Petri nets for modeling of large discrete systems[electronic resource] /by Reggie Davidrajuh. - Singapore :Springer Singapore :2021. - xxxi, 222 p. :ill. (some col.), digital ;24 cm. - Asset analytics,2522-5170. - Asset analytics..

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)

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.

ISBN: 9789811652035$q(electronic bk.)

Standard No.: 10.1007/978-981-16-5203-5doiSubjects--Topical Terms:

278494
Petri nets.

LC Class. No.: TA347.N46 / D38 2021

Dewey Class. No.: 006.32

Petri nets for modeling of large discrete systems
LDR:02352nmm a2200349 a 4500 001 609272
003 DE-He213
005 20210921202248.0
006 m d
007 cr nn 008maaau
008 220222s2021 si s 0 eng d
020 $a 9789811652035$q(electronic bk.)
020 $a 9789811652028$q(paper)
024 7 $a 10.1007/978-981-16-5203-5 $2 doi
035 $a 978-981-16-5203-5
040 $a GP $c GP
041 0 $a eng
050 4 $a TA347.N46 $b D38 2021
072 7 $a UY $2 bicssc
072 7 $a COM014000 $2 bisacsh
072 7 $a UY $2 thema
072 7 $a UYA $2 thema
082 0 4 $a 006.32 $2 23
090 $a TA347.N46 $b D249 2021
100 1 $a Davidrajuh, Reggie. $3 854586
245 1 0 $a Petri nets for modeling of large discrete systems $h [electronic resource] / $c by Reggie Davidrajuh.
260 $a Singapore : $b Springer Singapore : $b Imprint: Springer, $c 2021.
300 $a xxxi, 222 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Asset analytics, $x 2522-5170
505 0 $a 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)
520 $a 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.
650 0 $a Petri nets. $3 278494
650 0 $a Computer networks $x Mathematical models. $3 224514
650 0 $a Computer programming $x Mathematical models. $3 906817
650 1 4 $a Theory of Computation. $3 274475
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 273711
650 2 4 $a Computer Systems Organization and Communication Networks. $3 273709
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Asset analytics. $3 830503
856 4 0 $u https://doi.org/10.1007/978-981-16-5203-5
950 $a Business and Management (SpringerNature-41169)