000890694 000__ 04199cam\a2200481Ii\4500
000890694 001__ 890694
000890694 005__ 20230306150117.0
000890694 006__ m\\\\\o\\d\\\\\\\\
000890694 007__ cr\un\nnnunnun
000890694 008__ 190601s2019\\\\sz\\\\\\ob\\\\000\0\eng\d
000890694 019__ $$a1105184651
000890694 020__ $$a9783319961545$$q(electronic book)
000890694 020__ $$a3319961543$$q(electronic book)
000890694 020__ $$z3319961535
000890694 020__ $$z9783319961538
000890694 0247_ $$a10.1007/978-3-319-96$$2doi
000890694 035__ $$aSP(OCoLC)on1102808878
000890694 035__ $$aSP(OCoLC)1102808878$$z(OCoLC)1105184651
000890694 040__ $$aYDX$$beng$$erda$$cYDX$$dLQU$$dGW5XE$$dYDXIT
000890694 049__ $$aISEA
000890694 050_4 $$aQA267$$b.C37 2019
000890694 08204 $$a511.5$$223
000890694 08204 $$a004.0151
000890694 24500 $$aCarl Adam Petri :$$bideas, personality, impact /$$cWolfgang Reisig, Grzegorz Rozenberg, editors.
000890694 264_1 $$aCham, Switzerland :$$bSpringer,$$c[2019]
000890694 300__ $$a1 online resource
000890694 336__ $$atext$$btxt$$2rdacontent
000890694 337__ $$acomputer$$bc$$2rdamedia
000890694 338__ $$aonline resource$$bcr$$2rdacarrier
000890694 504__ $$aIncludes bibliographical references.
000890694 5050_ $$aPart I: Perspectives on Petris 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? -- Petris Understanding of Nets -- On the Two Worlds of Carl Adam Petris 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 Petris 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 Petris 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.
000890694 506__ $$aAccess limited to authorized users.
000890694 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 Petris 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.
000890694 588__ $$aDescription based on online resource; title from digital title page (viewed on June 28, 2019).
000890694 60010 $$aPetri, Carl Adam.
000890694 650_0 $$aPetri nets.
000890694 7001_ $$aReisig, Wolfgang,$$d1950-
000890694 7001_ $$aRozenberg, Grzegorz.
000890694 77608 $$iPrint version $$z3319961535$$z9783319961538$$w(OCoLC)1043575804
000890694 852__ $$bebk
000890694 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-96154-5$$zOnline Access$$91397441.1
000890694 909CO $$ooai:library.usi.edu:890694$$pGLOBAL_SET
000890694 980__ $$aEBOOK
000890694 980__ $$aBIB
000890694 982__ $$aEbook
000890694 983__ $$aOnline
000890694 994__ $$a92$$bISE