Petri Nets‚ Discrete Physics‚ and Distributed Quantum Computation

Petri Nets‚ Discrete Physics‚ and Distributed Quantum Computation

Bibliographic Details
Main Author:	Abramsky, S
Format:	Conference item
Published:	Springer 2008

Similar Items

Discrete, continuous, and hybrid Petri Nets /
by: David, Rene, 1939-, et al.
Published: (2005)

PetriNet Editor + PetriNet Engine: New Software Tool For Modelling and Control of Discrete Event Systems Using Petri Nets and Code Generation
by: Erik Kučera, et al.
Published: (2020-10-01)

Dynamic analysis of petri net-based discrete systems /
by: 172817 Karatkevich, Andrei
Published: (2007)

Detectability in Discrete Event Systems Using Unbounded Petri Nets
by: Haoming Zhu, et al.
Published: (2023-09-01)

Computer aided design for Petri Nets
by: Kyratzoglou, I. M. (Ioannis M.)
Published: (2005)

Petri Nets for Biologically Motivated Computing
by: J. Kleijn, et al.
Published: (2011-12-01)

Comparison of Petri Net and Finite State Machine Discrete Event Control of Distributed Surveillance Network
by: Mengxia Zhu, et al.
Published: (2009-01-01)

Development of Evolutionary Systems Based on Quantum Petri Nets
by: Tiberiu Stefan Letia, et al.
Published: (2022-11-01)

Precision Evaluation Methods of Petri Nets Modelling Discrete-Event Processes
by: Ernesto López-Mellado, et al.
Published: (2024-01-01)

Essentials in Petri nets : information technology and computers /
by: Hinrichs, Ruth, editor
Published: (2015)

Temporal Analysis of Influence of Resource Failures on Cyber-Physical Systems Based on Discrete Timed Petri Nets
by: Fu-Shiung Hsieh
Published: (2021-07-01)

Translation of Nested Petri Nets into Classical Petri Nets for Unfoldings Verification
by: V. O. Ermakova, et al.
Published: (2018-10-01)

Petri Net Modeling for Ising Model Formulation in Quantum Annealing
by: Morikazu Nakamura, et al.
Published: (2021-08-01)

Modeling and control of discrete-event dynamical systems : with Petri nets and other tool /
by: Hruz, B., (Branislav), et al.
Published: (2007)

Insertion attack identification in discrete event systems using petri nets with an observer.
by: Adeeb A Ahmed, et al.
Published: (2024-01-01)

Model Identification of Unobservable Behavior of Discrete Event Systems Using Petri Nets
by: Guanghui Zhu, et al.
Published: (2019-01-01)

Fault diagnosis of PLC-based discrete event systems using Petri nets
by: Yongyao Li, et al.
Published: (2022-11-01)

Petri Net Language
by: Hack, Michel Henri Théodore
Published: (2023)

Fault Diagnosis in Partially Observable Petri Nets with Quantum Bayesian Learning
by: Jiufu Liu, et al.
Published: (2023-12-01)

Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets
by: Remigiusz Wisniewski, et al.
Published: (2020-09-01)

Computer aided Petri net design for decision-making organizations
Published: (2003)

On Functions Weakly Computable by Pushdown Petri Nets and Related Systems
by: J. Leroux, et al.
Published: (2019-12-01)

Decidability questions for Petri Nets.
by: Hack, Michel Henri Théodore
Published: (2005)

Multimedia petri net instructor
by: Chia, Chow Leong.
Published: (2009)

Decidability Questions for Petri Nets
by: Hack, Michel Henri Théodore
Published: (2023)

Petri nets and manufacturing systems /
by: Hinrichs, Ruth, editor
Published: (2015)

Automation of petri nets simulation/
by: Nuzulan Naim Zulkipli, 1983-, et al.
Published: (2016)

Grammars controlled by petri nets
by: Dassow, Juergen, et al.
Published: (2012)

On Categories of Fuzzy Petri Nets
by: Arun K. Srivastava, et al.
Published: (2011-01-01)

Synthesis of Petri Nets with Localities
by: M. Koutny, et al.
Published: (2009-12-01)

Separators in Continuous Petri Nets
by: Michael Blondin, et al.
Published: (2024-02-01)

An Introduction to Signed Petri Net
by: Sangita Kansal, et al.
Published: (2021-01-01)

Simultaneous Petri Net Synthesis
by: E. Best, et al.
Published: (2018-12-01)

Priced Timed Petri Nets
by: Richard M. Mayr, et al.
Published: (2013-11-01)

Structurally Cyclic Petri Nets
by: Drewes Frank, et al.
Published: (2015-12-01)

T-invariants for jumping Petri nets
by: Cristian Vidrascu
Published: (2001-12-01)

Petri Nets with Time and Cost
by: Parosh Aziz Abdulla, et al.
Published: (2013-02-01)

Optimal sensor selection for diagnosability enforcement of discrete event systems using labeled petri net
by: Shaopeng Hu, et al.
Published: (2024-11-01)

Control Strategy of Discrete Event Systems Modeled by Labeled Petri Nets Based on Transition Priority
by: Yejia Liu, et al.
Published: (2023-01-01)

Modeling and Control of Discrete Event and Hybrid Systems Using Petri Nets and OPC Unified Architecture
by: Erik Kucera, et al.
Published: (2022-01-01)