Petri Nets‚ Discrete Physics‚ and Distributed Quantum Computation

Petri Nets‚ Discrete Physics‚ and Distributed Quantum Computation

Detaylı Bibliyografya
Yazar:	Abramsky, S
Materyal Türü:	Conference item
Baskı/Yayın Bilgisi:	Springer 2008

Benzer Materyaller

Discrete, continuous, and hybrid Petri Nets /
Yazar:: David, Rene, 1939-, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

PetriScape - A plugin for discrete Petri net simulations in Cytoscape
Yazar:: Almeida Diogo, ve diğerleri
Baskı/Yayın Bilgisi: (2016-03-01)

PetriNet Editor + PetriNet Engine: New Software Tool For Modelling and Control of Discrete Event Systems Using Petri Nets and Code Generation
Yazar:: Erik Kučera, ve diğerleri
Baskı/Yayın Bilgisi: (2020-10-01)

Dynamic analysis of petri net-based discrete systems /
Yazar:: 172817 Karatkevich, Andrei
Baskı/Yayın Bilgisi: (2007)

Detectability in Discrete Event Systems Using Unbounded Petri Nets
Yazar:: Haoming Zhu, ve diğerleri
Baskı/Yayın Bilgisi: (2023-09-01)

Computer aided design for Petri Nets
Yazar:: Kyratzoglou, I. M. (Ioannis M.)
Baskı/Yayın Bilgisi: (2005)

Petri Nets for Biologically Motivated Computing
Yazar:: J. Kleijn, ve diğerleri
Baskı/Yayın Bilgisi: (2011-12-01)

Comparison of Petri Net and Finite State Machine Discrete Event Control of Distributed Surveillance Network
Yazar:: Mengxia Zhu, ve diğerleri
Baskı/Yayın Bilgisi: (2009-01-01)

Development of Evolutionary Systems Based on Quantum Petri Nets
Yazar:: Tiberiu Stefan Letia, ve diğerleri
Baskı/Yayın Bilgisi: (2022-11-01)

Precision Evaluation Methods of Petri Nets Modelling Discrete-Event Processes
Yazar:: Ernesto López-Mellado, ve diğerleri
Baskı/Yayın Bilgisi: (2024-01-01)

Failures in discrete-event systems and dealing with them by means of Petri nets
Yazar:: František Čapkovič
Baskı/Yayın Bilgisi: (2018-05-01)

Temporal Analysis of Influence of Resource Failures on Cyber-Physical Systems Based on Discrete Timed Petri Nets
Yazar:: Fu-Shiung Hsieh
Baskı/Yayın Bilgisi: (2021-07-01)

Essentials in Petri nets : information technology and computers /
Yazar:: Hinrichs, Ruth, editor
Baskı/Yayın Bilgisi: (2015)

Computing Transition Priorities for Live Petri Nets
Yazar:: Kirill Gennadievitch Serebrennikov
Baskı/Yayın Bilgisi: (2019-10-01)

Translation of Nested Petri Nets into Classical Petri Nets for Unfoldings Verification
Yazar:: V. O. Ermakova, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

Petri Net Modeling for Ising Model Formulation in Quantum Annealing
Yazar:: Morikazu Nakamura, ve diğerleri
Baskı/Yayın Bilgisi: (2021-08-01)

Modeling and control of discrete-event dynamical systems : with Petri nets and other tool /
Yazar:: Hruz, B., (Branislav), ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Insertion attack identification in discrete event systems using petri nets with an observer.
Yazar:: Adeeb A Ahmed, ve diğerleri
Baskı/Yayın Bilgisi: (2024-01-01)

Model Identification of Unobservable Behavior of Discrete Event Systems Using Petri Nets
Yazar:: Guanghui Zhu, ve diğerleri
Baskı/Yayın Bilgisi: (2019-01-01)

Fault diagnosis of PLC-based discrete event systems using Petri nets
Yazar:: Yongyao Li, ve diğerleri
Baskı/Yayın Bilgisi: (2022-11-01)

Fault-Recovery and Repair Modeling of Discrete Event Systems Using Petri Nets
Yazar:: Ebrahim Ali Alzalab, ve diğerleri
Baskı/Yayın Bilgisi: (2020-01-01)

Robust Diagnosability Analysis of Discrete Event Systems Using Labeled Petri Nets
Yazar:: Shiqi Li, ve diğerleri
Baskı/Yayın Bilgisi: (2021-01-01)

Petri Net Language
Yazar:: Hack, Michel Henri Théodore
Baskı/Yayın Bilgisi: (2023)

Modeling by Petri Nets
Yazar:: H. Kubátová
Baskı/Yayın Bilgisi: (2005-01-01)

Fault Diagnosis in Partially Observable Petri Nets with Quantum Bayesian Learning
Yazar:: Jiufu Liu, ve diğerleri
Baskı/Yayın Bilgisi: (2023-12-01)

Time Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net
Yazar:: Meysam Zareiee, ve diğerleri
Baskı/Yayın Bilgisi: (2011-06-01)

Computer aided Petri net design for decision-making organizations
Baskı/Yayın Bilgisi: (2003)

On Functions Weakly Computable by Pushdown Petri Nets and Related Systems
Yazar:: J. Leroux, ve diğerleri
Baskı/Yayın Bilgisi: (2019-12-01)

Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets
Yazar:: Remigiusz Wisniewski, ve diğerleri
Baskı/Yayın Bilgisi: (2020-09-01)

Decidability questions for Petri Nets.
Yazar:: Hack, Michel Henri Théodore
Baskı/Yayın Bilgisi: (2005)

Multimedia petri net instructor
Yazar:: Chia, Chow Leong.
Baskı/Yayın Bilgisi: (2009)

Decidability Questions for Petri Nets
Yazar:: Hack, Michel Henri Théodore
Baskı/Yayın Bilgisi: (2023)

Petri nets and manufacturing systems /
Yazar:: Hinrichs, Ruth, editor
Baskı/Yayın Bilgisi: (2015)

Automation of petri nets simulation/
Yazar:: Nuzulan Naim Zulkipli, 1983-, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Grammars controlled by petri nets
Yazar:: Dassow, Juergen, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

On Categories of Fuzzy Petri Nets
Yazar:: Arun K. Srivastava, ve diğerleri
Baskı/Yayın Bilgisi: (2011-01-01)

Synthesis of Petri Nets with Localities
Yazar:: M. Koutny, ve diğerleri
Baskı/Yayın Bilgisi: (2009-12-01)

Separators in Continuous Petri Nets
Yazar:: Michael Blondin, ve diğerleri
Baskı/Yayın Bilgisi: (2024-02-01)

An Introduction to Signed Petri Net
Yazar:: Sangita Kansal, ve diğerleri
Baskı/Yayın Bilgisi: (2021-01-01)

Simultaneous Petri Net Synthesis
Yazar:: E. Best, ve diğerleri
Baskı/Yayın Bilgisi: (2018-12-01)