The Confluence Property for Petri Nets and its Applications (original) (raw)
Related papers
Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication
Lecture Notes in Computer Science, 2009
Acta Informatica, 1998
Information and Control, 1977
Decidability Problems in Petri Nets with Names and Replication
Fundamenta Informaticae
On Petri Nets with Hierarchical Special Arcs
ArXiv, 2017
Fundamenta Informaticae
Transactions on Petri Nets and Other Models of Concurrency II
Lecture Notes in Computer Science, 2009
“Truly concurrent” and nondeterministic semantics of discrete-time Petri nets
Programming and Computer Software, 2016
Decidability issues for Petri nets
1994
The Downward-Closure of Petri Net Languages
Lecture Notes in Computer Science, 2010
Compositional refinement of concurrent systems
Jbcs, 1995
Electronic Notes in Theoretical Computer …, 2005
Process Semantics of Petri Nets over Partial Algebra
Lecture Notes in Computer Science, 2000
Linear time analysis of properties of conflict-free and general Petri nets
Luigi Laura, Paola Alimonti, Umberto Nanni
Theoretical Computer Science, 2011
Some Decidability Results for Nested Petri Nets
Lecture Notes in Computer Science, 2000
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
Fundamenta Informaticae, 2008
An algebraic structure of petri nets
Lecture Notes in Computer Science, 1980
2013
Concurrent bisimulations in Petri nets
Acta Informatica, 1991
Jumping Petri Nets. Specific Properties
On Nets with Structured Concurrency
A description of the non-sequential execution of Petri nets in partially commutative linear logic
Logic Colloquium, 2004
Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence
Fundamenta Informaticae, 2019
Semantics of petri nets: A comparison
2007 Winter Simulation Conference, 2007
Compositional Petri net approach to the development of concurrent and distributed systems
Programming and Computer …, 2001
A Well-Structured Framework for Analysing Petri Nets Extensions
Claudine Picaronny, Alain Finkel
1999
Decidability results in First-Order Hybrid Petri Nets
Discrete Event Dynamic Systems, 2001
Functional concurrent semantics for Petri nets with read and inhibitor arcs
2000
On the Upward/Downward Closures of Petri Nets
ArXiv, 2017
Petri nets and szilard languages
Information and control, 1977
ω-Petri Nets: Algorithms and Complexity
Fundamenta Informaticae
Maximality Semantic For Recursive Petri Nets
ECMS 2013 Proceedings edited by: Webjorn Rekdalsbakken, Robin T. Bye, Houxiang Zhang, 2013