Reachability determination for a non-syntactic subclass of vector replacement systems (Petri nets)

Reachability determination for a non-syntactic subclass of vector replacement systems (Petri nets)

Show other versions (1)

Bibliographic Details
Main Author:	Laucht, C. Matthias
Published:	2013
Online Access:	http://hdl.handle.net/1993/15086

Similar Items

Reachability determination for a non-syntactic subclass of vector replacement systems (Petri nets)
by: Laucht, C. Matthias
Published: (2013)

An Algorithm of Recognizing Unbounded Petri Nets With Semilinear Reachability Sets and Constructing Their Reachability Trees
by: Dan You, et al.
Published: (2018-01-01)

Some approaches to attack the reachability problem of Petri nets
by: Hsueh, Mei-huei, et al.
Published: (1996)

Reachability Analysis of Petri Nets with Limited Communication Capabilities
by: Chien-Liang Chen, et al.
Published: (2009)

Partial Reachability Graph Analysis of Petri Nets for Flexible Manufacturing Systems
by: Menghuan Hu, et al.
Published: (2020-01-01)

On state-space compression and state reachability retrieval of Petri nets
by: Huorong Ren, et al.
Published: (2019-02-01)

A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets
by: Lasse Jacobsen, et al.
Published: (2012-11-01)

Reachability analysis of a class of Petri nets using place invariants and siphons
by: Zhi Wu Li
Published: (2013-07-01)

An Approach for Enumerating Minimal Siphons in a Subclass of Petri Nets
by: Dan You, et al.
Published: (2018-01-01)

Analysis of timed petri nets for reachability in construction applications/Petri laiko tinklų pasiekiamumo taikymo statyboje analizė
by: Khaled Nassar, et al.
Published: (2008-09-01)

A geometric approach to integer optimization and its application for reachability analysis in Petri nets.
Published: (2009)

Online Fault Diagnosis of Labeled Petri Nets Based on Reachability Graphs and Topological Sorting
by: Ya Wang, et al.
Published: (2020-01-01)

An Automatic Algorithm to Generate a Reachability Tree for Large-Scale Fuzzy Petri Net by And/Or Graph
by: Kai-Qing Zhou, et al.
Published: (2018-10-01)

Estimation of Least-Cost Transition Firing Sequences in Labeled Petri Nets by Using Basis Reachability Graph
by: Hao Yue, et al.
Published: (2019-01-01)

A livelock control policy for a flexible manufacturing system modeling with a subclass of generalized Petri nets
by: C.Q. Hou, et al.
Published: (2014-12-01)

An elementary siphon-based deadlock control algorithm with maximally reachable number to cope with deadlock problems in ordinary Petri nets
by: Shaoyong Li, et al.
Published: (2017-11-01)

Differentiating synonyms and adjective subclasses by syntactic profiling
by: Daniel Henkel
Published: (2020-06-01)

Syntactic Complexities of Nine Subclasses of Regular Languages
by: Li, Baiyu
Published: (2012)

Syntactic Complexities of Nine Subclasses of Regular Languages
by: Li, Baiyu
Published: (2012)

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

Power system availability determination through Petri net simulation
by: Scruggs, James N.
Published: (1995)

Petri Nets Applications
Published: (2010)

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

Petri Net Theory and Applications
Published: (2008)

Modeling by Petri Nets
by: H. Kubátová
Published: (2005-01-01)

Petri nets and their applications
by: Jin, Wei
Published: (2011)

Petri net semantics
by: Hayman, Jonathan Mark
Published: (2010)

Modeling of economic systems with Petri nets
by: Pavel Valeryevich Skorodumov
Published: (2014-09-01)

Analysis of Petri Nets and Transition Systems
by: Eike Best, et al.
Published: (2015-08-01)

Stochastic Petri Nets in Systems Biology
by: Schulz-Trieglaff Ole
Published: (2005-09-01)

Membrane Systems and Petri Net Synthesis
by: Marta Pietkiewicz-Koutny, et al.
Published: (2012-11-01)

Petri net test-generation on systems
by: Alukaidey, T.
Published: (1983)

Petri Net for Modeling Dynamic System
by: Ally Wang, et al.
Published: (2000)

Link-Based Similarity Measures Using Reachability Vectors
by: Seok-Ho Yoon, et al.
Published: (2014-01-01)

Compositional construction and analysis of Petri net systems
by: Rojas M., Isabel C.
Published: (1997)

Petri Nets Manufacturing and Computer Science
Published: (2012)

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

The impact of petri nets on system-of-systems engineering
by: Sinclair, Kirsten Mhairi
Published: (2009)

On the Decidability of Non Interference over Unbounded Petri Nets
by: Eike Best, et al.
Published: (2011-02-01)

A STUDY ON COLORED PETRI NETS AND A PROGRAM TO ANALYZE COLORED PETRI NETS: ANARCO
by: GIOVANNI CORDEIRO BARROSO
Published: (1987)

Cannot write session to /tmp/vufind_sessions/sess_dntqo18vcrdfek50ku9sfmcla1