Compositional semantics for open Petri nets based on deterministic processes (original) (raw)
Related papers
Open Petri nets: Non-deterministic processes and compositionality
2008
Acta Informatica, 1998
“Truly concurrent” and nondeterministic semantics of discrete-time Petri nets
Programming and Computer Software, 2016
Semantics of petri nets: A comparison
2007 Winter Simulation Conference, 2007
Transactions on Petri Nets and Other Models of Concurrency II
Lecture Notes in Computer Science, 2009
Process Semantics of Petri Nets over Partial Algebra
Lecture Notes in Computer Science, 2000
A Comparison of Petri Net Semantics under the Collective Token Philosophy
Vladimiro Sassone, Roberto Bruni
Lecture Notes in Computer Science, 1998
Application and Theory of Petri Nets and Concurrency
Lecture Notes in Computer Science, 2013
Encoding asynchronous interactions using open Petri nets
2009
Propositional dynamic logic for Petri Nets
Logic Journal of IGPL, 2014
Functional concurrent semantics for Petri nets with read and inhibitor arcs
2000
Compositional Petri net approach to the development of concurrent and distributed systems
Programming and Computer …, 2001
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013
Informatica
Unfolding Semantics of Petri Nets Based on Token Flows
Fundamenta Informaticae
Fundamenta Informaticae
Rewriting Logic as a Unifying Framework for Petri Nets
Lecture Notes in Computer Science, 2001
Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
Electronic Notes in Theoretical Computer Science, 2001
The Confluence Property for Petri Nets and its Applications
2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2006
Maximality-Based Structural Operational Semantics for Petri Nets
AIP Conference Proceedings, 2009
From Petri Nets to Automata with Concurrency
Applied Categorical Structures, 2002
Compositional refinement of concurrent systems
Jbcs, 1995
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
Fundamenta Informaticae, 2008
An Enhanced Rewriting Logic Based Semantics for High Level Petri nets
2021
Electronic Notes in Theoretical Computer …, 2005
Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence
Fundamenta Informaticae, 2019
Extending Propositional Dynamic Logic for Petri Nets
Electronic Notes in Theoretical Computer Science, 2014
Composable Coloured Petri Nets with Protocol Modeling Semantics
open.ou.nl
POM Semantics for 1-safe Petri Nets
On the Relationship between π-Calculus and Finite Place/Transition Petri Nets
CONCUR 2009 - Concurrency Theory, 2009
Functorial semantics for Petri nets under the individual token philosophy
U. Montanari, Vladimiro Sassone
Theoretical Computer Science, 1999
Operational semantics for Petri net components
Theoretical Computer Science, 2007
Modelling the semantics of multitasking facilities in Concurrent C using Petri nets
Information and Software Technology, 1996
Functorial Models for Petri Nets
Information and Computation, 2001