東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Carl Adam Petri = ideas, personality...

Reisig, Wolfgang.

FindBook

Google Book

Amazon

博客來

Carl Adam Petri = ideas, personality, impact /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Carl Adam Petri/ edited by Wolfgang Reisig, Grzegorz Rozenberg.
其他題名:	ideas, personality, impact /
其他作者:	Reisig, Wolfgang.
出版者:	Cham :Springer International Publishing : : 2019.,
面頁冊數:	ix, 249 p. :ill., digital ;24 cm.
內容註:	Part I: Perspectives on Petri's Work -- Discovering Petri Nets: A Personal Journey -- Observations of a Lateral Entrant -- Nets, Cats and Pigs: Carl Adam Petri and His Slides -- Invention or Discovery? -- Petri's Understanding of Nets -- On the Two Worlds of Carl Adam Petri's Nets -- Petri Nets: The Next 50 Years--An Invitation and Interpretative Translation -- Petri Nets Are (Not Only) Distributed Automata -- Petri Nets: A Simple Language and Tool for Modeling Complex Ideas -- Part II: Personal Recollections -- Carl Adam Petri: A Tribute from Aarhus -- Some Interactions with Carl Adam Petri over Three Decades -- Petri Nets and Petri's Nets: A Personal Perspective -- Coffee and Cigarettes -- Early Interactions with Carl Adam Petri -- A Personal Journey in Petri Net Research -- Part III: Technical Themes -- Carl Adam Petri's Synchronic Distance -- How Carl Adam Petri Deeply Influenced My Understanding of Invariance and Parallelism -- Toward Distributed Computability Theory -- Petri Inheritance: The Foundation of Nondeterministic, Concurrent Systems -- Coordinating Behaviour -- Inductive Counting and the Reachability Problem for Petri Nets -- Part IV: Connecting to Other Areas -- On Petri Nets in Performance and Reliability Evaluation of Discrete Event Dynamic Systems -- Modelling Time Using Petri Nets -- All True Concurrency Models Start with Petri Nets: A Personal Tribute to Carl Adam Petri -- Petri Nets for BioModel Engineering: A Personal Perspective -- Petri Nets in Systems Biology: Transition Invariants, Maximal Common Transition Sets, Transition Clusters, Mauritius Maps,and MonaLisa -- From Nets to Circuits and from Circuits to Nets -- Living Lattices -- The Road from Concurrency to Quantum Logics.
Contained By:	Springer eBooks
標題:	Petri nets. -
電子資源:	https://doi.org/10.1007/978-3-319-96154-5
ISBN:	9783319961545

Carl Adam Petri = ideas, personality, impact /
Carl Adam Petriideas, personality, impact /[electronic resource] :edited by Wolfgang Reisig, Grzegorz Rozenberg. - Cham :Springer International Publishing :2019. - ix, 249 p. :ill., digital ;24 cm.

Part I: Perspectives on Petri's Work -- Discovering Petri Nets: A Personal Journey -- Observations of a Lateral Entrant -- Nets, Cats and Pigs: Carl Adam Petri and His Slides -- Invention or Discovery? -- Petri's Understanding of Nets -- On the Two Worlds of Carl Adam Petri's Nets -- Petri Nets: The Next 50 Years--An Invitation and Interpretative Translation -- Petri Nets Are (Not Only) Distributed Automata -- Petri Nets: A Simple Language and Tool for Modeling Complex Ideas -- Part II: Personal Recollections -- Carl Adam Petri: A Tribute from Aarhus -- Some Interactions with Carl Adam Petri over Three Decades -- Petri Nets and Petri's Nets: A Personal Perspective -- Coffee and Cigarettes -- Early Interactions with Carl Adam Petri -- A Personal Journey in Petri Net Research -- Part III: Technical Themes -- Carl Adam Petri's Synchronic Distance -- How Carl Adam Petri Deeply Influenced My Understanding of Invariance and Parallelism -- Toward Distributed Computability Theory -- Petri Inheritance: The Foundation of Nondeterministic, Concurrent Systems -- Coordinating Behaviour -- Inductive Counting and the Reachability Problem for Petri Nets -- Part IV: Connecting to Other Areas -- On Petri Nets in Performance and Reliability Evaluation of Discrete Event Dynamic Systems -- Modelling Time Using Petri Nets -- All True Concurrency Models Start with Petri Nets: A Personal Tribute to Carl Adam Petri -- Petri Nets for BioModel Engineering: A Personal Perspective -- Petri Nets in Systems Biology: Transition Invariants, Maximal Common Transition Sets, Transition Clusters, Mauritius Maps,and MonaLisa -- From Nets to Circuits and from Circuits to Nets -- Living Lattices -- The Road from Concurrency to Quantum Logics.

This book offers an overview of the key ideas of Petri nets, how they were developed, and how they were applied in diverse applications. The chapters in the first part offer individual perspectives on the impact of Petri's work. The second part of the book contains personal memories from researchers who collaborated with him closely, in particular they recount his unique personality. The chapters in the third part offer more conventional treatments on various aspects of current Petri net research, and the fourth part examines the wide applications of Petri nets, and the relationships with other domains. The editors and authors are the leading researchers in this domain, and this book will be a valuable insight for researchers in computer science, particularly those engaged with concurrency and distributed systems.

ISBN: 9783319961545

Standard No.: 10.1007/978-3-319-96154-5doiSubjects--Personal Names:

2162491
Petri, Carl Adam.
Subjects--Topical Terms:

654110
Petri nets.

LC Class. No.: QA267 / .C37 2019

Dewey Class. No.: 511.5

Carl Adam Petri = ideas, personality, impact /
LDR:03556nmm a2200337 a 4500 001 2191199
003 DE-He213
005 20190525042543.0
006 m d
007 cr nn 008maaau
008 200504s2019 gw s 0 eng d
020 $a 9783319961545 $q (electronic bk.)
020 $a 9783319961538 $q (paper)
024 7 $a 10.1007/978-3-319-96154-5 $2 doi
035 $a 978-3-319-96154-5
040 $a GP $c GP
041 0 $a eng
050 4 $a QA267 $b .C37 2019
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 511.5 $2 23
090 $a QA267 $b .C278 2019
245 0 0 $a Carl Adam Petri $h [electronic resource] : $b ideas, personality, impact / $c edited by Wolfgang Reisig, Grzegorz Rozenberg.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a ix, 249 p. : $b ill., digital ; $c 24 cm.
505 0 $a Part I: Perspectives on Petri's Work -- Discovering Petri Nets: A Personal Journey -- Observations of a Lateral Entrant -- Nets, Cats and Pigs: Carl Adam Petri and His Slides -- Invention or Discovery? -- Petri's Understanding of Nets -- On the Two Worlds of Carl Adam Petri's Nets -- Petri Nets: The Next 50 Years--An Invitation and Interpretative Translation -- Petri Nets Are (Not Only) Distributed Automata -- Petri Nets: A Simple Language and Tool for Modeling Complex Ideas -- Part II: Personal Recollections -- Carl Adam Petri: A Tribute from Aarhus -- Some Interactions with Carl Adam Petri over Three Decades -- Petri Nets and Petri's Nets: A Personal Perspective -- Coffee and Cigarettes -- Early Interactions with Carl Adam Petri -- A Personal Journey in Petri Net Research -- Part III: Technical Themes -- Carl Adam Petri's Synchronic Distance -- How Carl Adam Petri Deeply Influenced My Understanding of Invariance and Parallelism -- Toward Distributed Computability Theory -- Petri Inheritance: The Foundation of Nondeterministic, Concurrent Systems -- Coordinating Behaviour -- Inductive Counting and the Reachability Problem for Petri Nets -- Part IV: Connecting to Other Areas -- On Petri Nets in Performance and Reliability Evaluation of Discrete Event Dynamic Systems -- Modelling Time Using Petri Nets -- All True Concurrency Models Start with Petri Nets: A Personal Tribute to Carl Adam Petri -- Petri Nets for BioModel Engineering: A Personal Perspective -- Petri Nets in Systems Biology: Transition Invariants, Maximal Common Transition Sets, Transition Clusters, Mauritius Maps,and MonaLisa -- From Nets to Circuits and from Circuits to Nets -- Living Lattices -- The Road from Concurrency to Quantum Logics.
520 $a This book offers an overview of the key ideas of Petri nets, how they were developed, and how they were applied in diverse applications. The chapters in the first part offer individual perspectives on the impact of Petri's work. The second part of the book contains personal memories from researchers who collaborated with him closely, in particular they recount his unique personality. The chapters in the third part offer more conventional treatments on various aspects of current Petri net research, and the fourth part examines the wide applications of Petri nets, and the relationships with other domains. The editors and authors are the leading researchers in this domain, and this book will be a valuable insight for researchers in computer science, particularly those engaged with concurrency and distributed systems.
600 1 0 $a Petri, Carl Adam. $3 2162491
650 0 $a Petri nets. $3 654110
650 1 4 $a Theory of Computation. $3 892514
650 2 4 $a Computational Biology/Bioinformatics. $3 898313
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 891214
700 1 $a Reisig, Wolfgang. $3 1070314
700 1 $a Rozenberg, Grzegorz. $3 778430
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
856 4 0 $u https://doi.org/10.1007/978-3-319-96154-5
950 $a Computer Science (Springer-11645)