Carl Adam Petri: Ideas, Personality, Impact
-15%
portes grátis
Carl Adam Petri: Ideas, Personality, Impact
Reisig, Wolfgang; Rozenberg, Grzegorz
Springer International Publishing AG
06/2019
249
Dura
Inglês
9783319961538
15 a 20 dias
559
Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Petri Nets;Concurrency;Biology;Distributed Systems;Verification;Model Checking;Logical Calculi
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
