國立虎尾科技大學 |

Petri Nets for Modeling of Large Discrete Systems

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Petri Nets for Modeling of Large Discrete Systems/ by Reggie Davidrajuh.
作者:	Davidrajuh, Reggie.
面頁冊數:	XXXI, 222 p. 134 illus., 58 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Computer Systems Organization and Communication Networks. -
電子資源:	https://doi.org/10.1007/978-981-16-5203-5
ISBN:	9789811652035

Petri Nets for Modeling of Large Discrete Systems
Davidrajuh, Reggie.

Petri Nets for Modeling of Large Discrete Systems[electronic resource] /by Reggie Davidrajuh. - 1st ed. 2021. - XXXI, 222 p. 134 illus., 58 illus. in color.online resource. - Asset Analytics, Performance and Safety Management,2522-5170. - Asset Analytics, Performance and Safety Management,.

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

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

669309
Computer Systems Organization and Communication Networks.

LC Class. No.: QA75.5-76.95

Dewey Class. No.: 004.0151

Petri Nets for Modeling of Large Discrete Systems
LDR:02772nam a22004335i 4500 001 1049593
003 DE-He213
005 20210921202248.0
007 cr nn 008mamaa
008 220103s2021 si | s |||| 0|eng d
020 $a 9789811652035 $9 978-981-16-5203-5
024 7 $a 10.1007/978-981-16-5203-5 $2 doi
035 $a 978-981-16-5203-5
050 4 $a QA75.5-76.95
050 4 $a QA76.63
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 004.0151 $2 23
100 1 $a Davidrajuh, Reggie. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1281287
245 1 0 $a Petri Nets for Modeling of Large Discrete Systems $h [electronic resource] / $c by Reggie Davidrajuh.
250 $a 1st ed. 2021.
264 1 $a Singapore : $b Springer Singapore : $b Imprint: Springer, $c 2021.
300 $a XXXI, 222 p. 134 illus., 58 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Asset Analytics, Performance and Safety Management, $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 2 4 $a Computer Systems Organization and Communication Networks. $3 669309
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 669780
650 1 4 $a Theory of Computation. $3 669322
650 0 $a Computer organization. $3 596298
650 0 $a Software engineering. $3 562952
650 0 $a Computers. $3 565115
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9789811652028
776 0 8 $i Printed edition: $z 9789811652042
776 0 8 $i Printed edition: $z 9789811652059
830 0 $a Asset Analytics, Performance and Safety Management, $x 2522-5162 $3 1297561
856 4 0 $u https://doi.org/10.1007/978-981-16-5203-5
912 $a ZDB-2-BUM
912 $a ZDB-2-SXBM
950 $a Business and Management (SpringerNature-41169)
950 $a Business and Management (R0) (SpringerNature-43719)