A Well-Structured Framework for Analysing Petri Nets Extensions (original) (raw)
Related papers
A well-structured framework for analysing petri net extensions
Claudine Picaronny, Alain Finkel
Information and Computation, 2004
Accelerations for the Coverability Set of Petri Nets with Names
Fundamenta Informaticae, 2011
Decidability and complexity of Petri nets with unordered data
Theoretical Computer Science, 2011
Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication
Lecture Notes in Computer Science, 2009
On the Upward/Downward Closures of Petri Nets
ArXiv, 2017
Decidability results in First-Order Hybrid Petri Nets
Discrete Event Dynamic Systems, 2001
The Downward-Closure of Petri Net Languages
Lecture Notes in Computer Science, 2010
2013
Petri Net Reachability Graphs: Decidability Status of First Order Properties
Christophe Morvan, Roland Meyer
Logical Methods in Computer Science, 2012
On Petri Nets with Hierarchical Special Arcs
ArXiv, 2017
Decidability issues for Petri nets
1994
Information and Control, 1977
Decidability Problems in Petri Nets with Names and Replication
Fundamenta Informaticae
A Reduced Reachability Tree for a Class of Unbounded Petri Nets
Decidability of Properties of Timed-Arc Petri Nets
Lecture Notes in Computer Science, 2000
Discrete Parameters in Petri Nets
Lecture Notes in Computer Science, 2015
Some Decidability Results for Nested Petri Nets
Lecture Notes in Computer Science, 2000
Jumping Petri Nets. Specific Properties
Deciding finiteness of Petri nets up to bisimulation
Lecture Notes in Computer Science, 1996
Reachability analysis for a class of Petri nets
Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies
Lecture Notes in Computer Science, 2005
ω-Petri Nets: Algorithms and Complexity
Fundamenta Informaticae
The Confluence Property for Petri Nets and its Applications
2006
Decidability results in firstorder hybrid petri nets. Discrete Event Dynamic Systems
2001
On weak persistency of petri nets
Information Processing Letters, 1981
The Possibilities of Modeling Petri Nets and Their Extensions
Computer Simulation [Working Title], 2019
An algebraic structure of petri nets
Lecture Notes in Computer Science, 1980
Normal and sinkless petri nets
Journal of Computer and System Sciences, 1993
Petri nets and szilard languages
Information and control, 1977
Undecidability of coverability and boundedness for timed-arc Petri nets with invariants
Proc. of MEMICS, 2009
Decision problems for petri nets with names
Arxiv preprint arXiv:1011.3964, 2010
On the ω-language Expressive Power of Extended Petri Nets
Electronic Notes in Theoretical Computer Science, 2005
Logical Characterization of Petri Net � Languages
2013
Monotonic Extensions of Petri Nets
Electronic Notes in Theoretical Computer Science, 2003