Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra (original) (raw)
Related papers
Process Semantics of Petri Nets over Partial Algebra
Lecture Notes in Computer Science, 2000
On Occurrence Net Semantics of Petri Nets
Semantics of petri nets: A comparison
2007 Winter Simulation Conference, 2007
Informatica
Acta Informatica, 1998
“Truly concurrent” and nondeterministic semantics of discrete-time Petri nets
Programming and Computer Software, 2016
The non-sequential behaviour of Petri nets
Information and Control
The Confluence Property for Petri Nets and its Applications
2006
An algebraic structure of petri nets
Lecture Notes in Computer Science, 1980
Transactions on Petri Nets and Other Models of Concurrency II
Lecture Notes in Computer Science, 2009
Unfolding Semantics of Petri Nets Based on Token Flows
Fundamenta Informaticae
Relational algebraic framework for the modelling and analysis of Petri nets
Information and Software Technology, 1995
Compositional Petri net approach to the development of concurrent and distributed systems
Programming and Computer …, 2001
The Possibilities of Modeling Petri Nets and Their Extensions
Computer Simulation [Working Title], 2019
Compositional semantics for open Petri nets based on deterministic processes
2005
Application and Theory of Petri Nets and Concurrency
Lecture Notes in Computer Science, 2013
A description of the non-sequential execution of Petri nets in partially commutative linear logic
Logic Colloquium, 2004
Functional concurrent semantics for Petri nets with read and inhibitor arcs
2000
On the Relationship between π-Calculus and Finite Place/Transition Petri Nets
CONCUR 2009 - Concurrency Theory, 2009
Using maximality-based labelled transition system as a model for petri nets
The International Arab Journal of Information Technology, 2009
Domain and event structure semantics for Petri nets with read and inhibitor arcs
2004
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013
Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
Electronic Notes in Theoretical Computer Science, 2001
Operational semantics for Petri net components
Theoretical Computer Science, 2007
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
Fundamenta Informaticae, 2008
From Petri Nets to Automata with Concurrency
Applied Categorical Structures, 2002
Contextual Petri nets, asymmetric event structures, and processes
2001
Maximality-Based Structural Operational Semantics for Petri Nets
AIP Conference Proceedings, 2009
Petri nets with generalized algebra: a comparison
Electronic Notes in Theoretical Computer Science, 1999
Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence
Fundamenta Informaticae, 2019
Formal Aspects of Computing, 2011
Using Petri nets as a model for Petri nets
2003
A linear specification language for Petri nets
COMPUTER, 1991
Rewriting Logic as a Unifying Framework for Petri Nets
Lecture Notes in Computer Science, 2001
A Canonical Contraction for Safe Petri Nets
Lecture Notes in Computer Science, 2014