東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Petri nets for modeling of large dis...

Davidrajuh, Reggie.

FindBook

Google Book

Amazon

博客來

Petri nets for modeling of large discrete systems

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Petri nets for modeling of large discrete systems/ by Reggie Davidrajuh.
作者:	Davidrajuh, Reggie.
出版者:	Singapore :Springer Singapore : : 2021.,
面頁冊數:	xxxi, 222 p. :ill. (some col.), digital ;24 cm.
內容註:	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)
Contained By:	Springer Nature eBook
標題:	Petri nets. -
電子資源:	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. - 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

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

654110
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 2251107
003 DE-He213
005 20210921202248.0
006 m d
007 cr nn 008maaau
008 220215s2021 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 3517765
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 654110
650 0 $a Computer networks $x Mathematical models. $3 664546
650 0 $a Computer programming $x Mathematical models. $3 3517766
650 1 4 $a Theory of Computation. $3 892514
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 891214
650 2 4 $a Computer Systems Organization and Communication Networks. $3 891212
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Asset analytics. $3 3379261
856 4 0 $u https://doi.org/10.1007/978-981-16-5203-5
950 $a Business and Management (SpringerNature-41169)