On Petri Nets with Hierarchical Special Arcs (original) (raw)
Related papers
Decidability of Properties of Timed-Arc Petri Nets
Lecture Notes in Computer Science, 2000
Decidability and complexity of Petri nets with unordered data
Theoretical Computer Science, 2011
A Reduced Reachability Tree for a Class of Unbounded Petri Nets
Linear time analysis of properties of conflict-free and general Petri nets
Luigi Laura, Paola Alimonti, Umberto Nanni
Theoretical Computer Science, 2011
Decidability results in First-Order Hybrid Petri Nets
Discrete Event Dynamic Systems, 2001
Decidability issues for Petri nets
1994
On persistent reachability in Petri nets
Information and Computation, 2013
ω-Petri Nets: Algorithms and Complexity
Fundamenta Informaticae
On the Upward/Downward Closures of Petri Nets
ArXiv, 2017
Decidability Problems in Petri Nets with Names and Replication
Fundamenta Informaticae
Reachability analysis for a class of Petri nets
Undecidability of coverability and boundedness for timed-arc Petri nets with invariants
Proc. of MEMICS, 2009
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
Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication
Lecture Notes in Computer Science, 2009
On non-decidability of reachability for timed-arc Petri nets
Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331)
The Downward-Closure of Petri Net Languages
Lecture Notes in Computer Science, 2010
2013
Decidability results in firstorder hybrid petri nets. Discrete Event Dynamic Systems
2001
A well-structured framework for analysing petri net extensions
Claudine Picaronny, Alain Finkel
Information and Computation, 2004
Decision problems for petri nets with names
Arxiv preprint arXiv:1011.3964, 2010
A Well-Structured Framework for Analysing Petri Nets Extensions
Claudine Picaronny, Alain Finkel
1999
Normal and sinkless petri nets
Journal of Computer and System Sciences, 1993
Petri Net Reachability Graphs: Decidability Status of First Order Properties
Christophe Morvan, Roland Meyer
Logical Methods in Computer Science, 2012
Jumping Petri Nets. Specific Properties
Some Decidability Results for Nested Petri Nets
Lecture Notes in Computer Science, 2000
Symbolic analysis of bounded Petri nets
IEEE Transactions on Computers, 2001
The Possibilities of Modeling Petri Nets and Their Extensions
Computer Simulation [Working Title], 2019
The Confluence Property for Petri Nets and its Applications
2006