Functional concurrent semantics for Petri nets with read and inhibitor arcs (original) (raw)
Related papers
Domain and event structure semantics for Petri nets with read and inhibitor arcs
2004
Acta Informatica, 1998
Functorial Models for Petri Nets
Information and Computation, 2001
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
Fundamenta Informaticae, 2008
Process Semantics of Petri Nets over Partial Algebra
Lecture Notes in Computer Science, 2000
Complete Process Semantics for Inhibitor Nets
Lecture Notes in Computer Science, 2007
The Confluence Property for Petri Nets and its Applications
2006
Maximality Semantics and Petri Nets
A Canonical Contraction for Safe Petri Nets
Lecture Notes in Computer Science, 2014
Maximality-Based Structural Operational Semantics for Petri Nets
AIP Conference Proceedings, 2009
An algebraic structure of petri nets
Lecture Notes in Computer Science, 1980
Functorial semantics for Petri nets under the individual token philosophy
Vladimiro Sassone, Roberto Bruni
Electronic Notes in Theoretical Computer Science, 1999
A description of the non-sequential execution of Petri nets in partially commutative linear logic
Logic Colloquium, 2004
Petri nets with generalized algebra: a comparison
Electronic Notes in Theoretical Computer Science, 1999
On the Relationship between π-Calculus and Finite Place/Transition Petri Nets
CONCUR 2009 - Concurrency Theory, 2009
Electronic Notes in Theoretical Computer …, 2005
On Nets with Structured Concurrency
Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence
Fundamenta Informaticae, 2019
A linear specification language for Petri nets
COMPUTER, 1991
Fundamenta Informaticae
Two Algebraic Process Semantics for Contextual Nets
Unifying Petri Nets, 2001
General Morphisms of Petri Nets (Extended Abstract)
International Colloquium on Automata, Languages and Programming, 1999
“Truly concurrent” and nondeterministic semantics of discrete-time Petri nets
Programming and Computer Software, 2016
Finite Completeness of Categories of Petri Nets
Fundamenta Informaticae, 2000
POM Semantics for 1-safe Petri Nets
Transactions on Petri Nets and Other Models of Concurrency II
Lecture Notes in Computer Science, 2009
Rewriting Logic as a Unifying Framework for Petri Nets
Lecture Notes in Computer Science, 2001
Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra
Electronic Notes in Theoretical Computer Science, 2001
Compositional refinement of concurrent systems
Jbcs, 1995
Acta Informatica, 2015
An Enhanced Rewriting Logic Based Semantics for High Level Petri nets
2021
Semantics of petri nets: A comparison
2007 Winter Simulation Conference, 2007
Informatica
Compositional semantics for open Petri nets based on deterministic processes
2005
Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
Electronic Notes in Theoretical Computer Science, 2001