000 | 04396nam a22005175i 4500 | ||
---|---|---|---|
001 | 978-3-319-96154-5 | ||
003 | DE-He213 | ||
005 | 20240423125015.0 | ||
007 | cr nn 008mamaa | ||
008 | 190524s2019 sz | s |||| 0|eng d | ||
020 |
_a9783319961545 _9978-3-319-96154-5 |
||
024 | 7 |
_a10.1007/978-3-319-96154-5 _2doi |
|
050 | 4 | _aQA75.5-76.95 | |
072 | 7 |
_aUYA _2bicssc |
|
072 | 7 |
_aCOM014000 _2bisacsh |
|
072 | 7 |
_aUYA _2thema |
|
082 | 0 | 4 |
_a004.0151 _223 |
245 | 1 | 0 |
_aCarl Adam Petri: Ideas, Personality, Impact _h[electronic resource] / _cedited by Wolfgang Reisig, Grzegorz Rozenberg. |
250 | _a1st ed. 2019. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2019. |
|
300 |
_aIX, 249 p. 82 illus., 49 illus. in color. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
505 | 0 | _aPart 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 | _aThis 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. | ||
650 | 0 | _aComputer science. | |
650 | 0 | _aBioinformatics. | |
650 | 0 | _aSoftware engineering. | |
650 | 1 | 4 | _aTheory of Computation. |
650 | 2 | 4 | _aComputational and Systems Biology. |
650 | 2 | 4 | _aSoftware Engineering. |
700 | 1 |
_aReisig, Wolfgang. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aRozenberg, Grzegorz. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783319961538 |
776 | 0 | 8 |
_iPrinted edition: _z9783319961552 |
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-96154-5 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
942 | _cSPRINGER | ||
999 |
_c173182 _d173182 |