Petri nets properties related to the unboundness and analyzed using coverability multigraph (original) (raw)
Related papers
A Reduced Reachability Tree for a Class of Unbounded Petri Nets
Symbolic analysis of bounded Petri nets
IEEE Transactions on Computers, 2001
Reachability analysis for a class of Petri nets
A Review of Petri Net Modeling of Dynamical Systems
2012
Computing bounds for forbidden State reachability functions for controlled Petri nets
IEEE Transactions on Systems, Man, and Cybernetics, 2004
The Possibilities of Modeling Petri Nets and Their Extensions
Computer Simulation [Working Title], 2019
Petri Net Based Modeling and Property Analysis of Distributed Discrete Event System
International Journal of Innovative Technology and Exploring Engineering, 2019
Linear time analysis of properties of conflict-free and general Petri nets
Luigi Laura, Paola Alimonti, Umberto Nanni
Theoretical Computer Science, 2011
Some subclasses of Petri nets and the analysis of their structural properties: a new approach
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 1999
Finite Unfoldings of Unbounded Petri Nets
Lecture Notes in Computer Science, 2004
ω-Petri Nets: Algorithms and Complexity
Fundamenta Informaticae
Diagnosability analysis of unbounded Petri nets
Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference, 2009
Dynamic Analysis of Petri Net-Based Discrete Systems
Lecture Notes in Control and Information Sciences, 2007
Ladder Diagram Petri Nets: Discrete Event Systems
Petri Nets in Science and Engineering, 2018
Extensions to the CEGAR Approach on Petri Nets
Acta Cybernetica, 2014
A Symbolic State-Transition Graph for a Class of Dynamic Petri Nets
2009
Mathematical programming approach to the Petri nets reachability problem
European Journal of Operational Research, 2007
A Technique for Reachability Graph Generation for the Petri Net Models of Parallel Processes
Accelerations for the Coverability Set of Petri Nets with Names
Fundamenta Informaticae, 2011
Decidability results in firstorder hybrid petri nets. Discrete Event Dynamic Systems
2001
Petri Nets at Modelling and Control of Discrete-Event Systems Containing Nondeterminism -- Part 1
Computing and Informatics, 2018
A Survey on Linear Algebraic Approaches for the Analysis of Petri Net based Models
Linear time algorithms for liveness and boundedness in conflict-free Petri nets
LATIN'92, 1992
Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies
Lecture Notes in Computer Science, 2005
Covering Steps Graphs of Time Petri Nets
Electronic Notes in Theoretical Computer Science, 2009
Analysis of Petri net models using transitive matrix
SMC 2000 Conference Proceedings. 2000 IEEE International Conference on Systems, Man and Cybernetics. 'Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions' (Cat. No.00CH37166), 2000