國立高雄大學圖資館 |

Language: English

Back

Principle of Petri nets

Record Type:	Electronic resources : Monograph/item
Title/Author:	Principle of Petri netsby Chongyi Yuan.
Author:	Yuan, Chongyi.
Published:	Singapore :Springer Nature Singapore :2025.
Description:	xi, 193 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Petri nets.
Online resource:	https://doi.org/10.1007/978-981-97-7336-7
ISBN:	9789819773367$q(electronic bk.)

Principle of Petri nets
Yuan, Chongyi.

Principle of Petri nets[electronic resource] /by Chongyi Yuan. - Singapore :Springer Nature Singapore :2025. - xi, 193 p. :ill. (some col.), digital ;24 cm.

Chapter 1 Concepts shared by net systems -- Chapter 2 The system hierarchy -- Chapter 3 EN-system -- Chapter 4 Place/Transition net systems -- Chapter 5 High level net systems: Pr/T-system -- Chapter 6 colour net systems -- Chapter 7 Self-control systems -- Chapter 9 Synchronizer -- hapter 10 Business process management (BPM) -- Chapter 11 Synchrony -- Chapter 12 Net logic (Enlogy) -- Chapter 13 Information flow structure -- Chapter 14 Net topology -- Chapter 15 Concurrency.

"Principle of Petri nets" is the ultimate guide for understanding the fundamental principles of Petri nets and their potential applications. The book provides a detailed introduction to basic concepts such as global time, global state, and global control, and demonstrates how they relate to effective modeling of complex systems. Especially, the book covers the critical concepts of net system hierarchy formed with net folding and various methods for system analysis to give readers the tools they need to create and test effective models. This book's extensive application examples, including N-lift control, business process modeling, and a three-layer model for business process management (BPM), offer readers invaluable real-world insights and practical knowledge. Moreover, the book includes coverage of key topics such as concurrent nets (C-nets) that introduce data types into nets, general net theory like synchrony, enlogy (net logic), net topology, concurrency axioms, and information systems for reversible information transfer. This book is an essential reference for students, researchers, and professionals interested in enhancing their understanding of Petri nets, systems design, and other complex processes.

ISBN: 9789819773367$q(electronic bk.)

Standard No.: 10.1007/978-981-97-7336-7doiSubjects--Topical Terms:

278494
Petri nets.

LC Class. No.: QA267

Dewey Class. No.: 511.35

Principle of Petri nets
LDR:02647nmm a2200325 a 4500 001 678533
003 DE-He213
005 20250104115222.0
006 m o d
007 cr nn 008maaau
008 251031s2025 si s 0 eng d
020 $a 9789819773367$q(electronic bk.)
020 $a 9789819773350$q(paper)
024 7 $a 10.1007/978-981-97-7336-7 $2 doi
035 $a 978-981-97-7336-7
040 $a GP $c GP
041 0 $a eng
050 4 $a QA267
072 7 $a UYA $2 bicssc
072 7 $a COM014000 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 511.35 $2 23
090 $a QA267 $b .Y94 2025
100 1 $a Yuan, Chongyi. $3 991952
245 1 0 $a Principle of Petri nets $h [electronic resource] / $c by Chongyi Yuan.
260 $a Singapore : $b Springer Nature Singapore : $b Imprint: Springer, $c 2025.
300 $a xi, 193 p. : $b ill. (some col.), digital ; $c 24 cm.
505 0 $a Chapter 1 Concepts shared by net systems -- Chapter 2 The system hierarchy -- Chapter 3 EN-system -- Chapter 4 Place/Transition net systems -- Chapter 5 High level net systems: Pr/T-system -- Chapter 6 colour net systems -- Chapter 7 Self-control systems -- Chapter 9 Synchronizer -- hapter 10 Business process management (BPM) -- Chapter 11 Synchrony -- Chapter 12 Net logic (Enlogy) -- Chapter 13 Information flow structure -- Chapter 14 Net topology -- Chapter 15 Concurrency.
520 $a "Principle of Petri nets" is the ultimate guide for understanding the fundamental principles of Petri nets and their potential applications. The book provides a detailed introduction to basic concepts such as global time, global state, and global control, and demonstrates how they relate to effective modeling of complex systems. Especially, the book covers the critical concepts of net system hierarchy formed with net folding and various methods for system analysis to give readers the tools they need to create and test effective models. This book's extensive application examples, including N-lift control, business process modeling, and a three-layer model for business process management (BPM), offer readers invaluable real-world insights and practical knowledge. Moreover, the book includes coverage of key topics such as concurrent nets (C-nets) that introduce data types into nets, general net theory like synchrony, enlogy (net logic), net topology, concurrency axioms, and information systems for reversible information transfer. This book is an essential reference for students, researchers, and professionals interested in enhancing their understanding of Petri nets, systems design, and other complex processes.
650 0 $a Petri nets. $3 278494
650 1 4 $a Theory of Computation. $3 274475
650 2 4 $a Models of Computation. $3 915069
650 2 4 $a Computational Complexity. $3 913441
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
856 4 0 $u https://doi.org/10.1007/978-981-97-7336-7
950 $a Computer Science (SpringerNature-11645)