Carl Adam Petri: Ideas, Personality, Impact / Reisig, Wolfgang ; Rozenberg, Grzegorz  

Público ISBD Ningún comentario para este registro. Título : Carl Adam Petri: Ideas, Personality, Impact Tipo de documento: documento electrónico Autores: Reisig, Wolfgang, ; Rozenberg, Grzegorz, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: IX, 249 p. 82 ilustraciones, 49 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-96154-5 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ciencias de la Computación  Bioinformática  Ingeniería de software  Teoría de la Computación  Biología Computacional y de Sistemas Índice Dewey: 40.151 Resumen: Este libro ofrece una descripción general de las ideas clave de las redes de Petri, cómo se desarrollaron y cómo se aplicaron en diversas aplicaciones. Los capítulos de la primera parte ofrecen perspectivas individuales sobre el impacto del trabajo de Petri. La segunda parte del libro contiene recuerdos personales de investigadores que colaboraron estrechamente con él, en particular relatan su personalidad única. Los capítulos de la tercera parte ofrecen tratamientos más convencionales sobre varios aspectos de la investigación actual sobre redes de Petri, y la cuarta parte examina las amplias aplicaciones de las redes de Petri y las relaciones con otros dominios. Los editores y autores son los investigadores líderes en este dominio, y este libro será una valiosa información para los investigadores en ciencias de la computación, particularmente aquellos involucrados con sistemas distribuidos y concurrentes. Nota de contenido: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Carl Adam Petri: Ideas, Personality, Impact [documento electrónico] / Reisig, Wolfgang, ; Rozenberg, Grzegorz,  . -  1 ed.  . - [s.l.] : Springer, 2019 . - IX, 249 p. 82 ilustraciones, 49 ilustraciones en color. ISBN : 978-3-319-96154-5 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ciencias de la Computación  Bioinformática  Ingeniería de software  Teoría de la Computación  Biología Computacional y de Sistemas Índice Dewey: 40.151 Resumen: Este libro ofrece una descripción general de las ideas clave de las redes de Petri, cómo se desarrollaron y cómo se aplicaron en diversas aplicaciones. Los capítulos de la primera parte ofrecen perspectivas individuales sobre el impacto del trabajo de Petri. La segunda parte del libro contiene recuerdos personales de investigadores que colaboraron estrechamente con él, en particular relatan su personalidad única. Los capítulos de la tercera parte ofrecen tratamientos más convencionales sobre varios aspectos de la investigación actual sobre redes de Petri, y la cuarta parte examina las amplias aplicaciones de las redes de Petri y las relaciones con otros dominios. Los editores y autores son los investigadores líderes en este dominio, y este libro será una valiosa información para los investigadores en ciencias de la computación, particularmente aquellos involucrados con sistemas distribuidos y concurrentes. Nota de contenido: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

---

1 (1 - 1 / 1) Por página: 25 50 100 200