Petri nets: an introduction
Petri net models for algebraic theories of concurrency
Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe
Proof, language, and interaction
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Implementing Condition/Event Nets in the Circal Process Algebra
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Proceedings of the LITP Spring School on Theoretical Computer Science: Semantics of Systems of Concurrent Processes
Span(Graph): A Categorial Algebra of Transition Systems
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
Representing Place/Transition Nets in Span(Graph)
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
Compositional Modeling of Reactive Systems Using Open Nets
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Operational Semantics for the Petri Box Calculus
CONCUR '94 Proceedings of the Concurrency Theory
A Petri Net Semantics for pi-Calculus
CONCUR '95 Proceedings of the 6th International Conference on Concurrency Theory
Characterizing Behavioural Congruences for Petri Nets
CONCUR '95 Proceedings of the 6th International Conference on Concurrency Theory
The box calculus: a new causal algebra with multi-label communication
Advances in Petri Nets 1992, The DEMON Project
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
Compositional semantics for open Petri nets based on deterministic processes
Mathematical Structures in Computer Science
Transition systems, link graphs and Petri nets
Mathematical Structures in Computer Science
A basic algebra of stateless connectors
Theoretical Computer Science - Algebra and coalgebra in computer science
Operational semantics for Petri net components
Theoretical Computer Science
A Notion of Glue Expressiveness for Component-Based Systems
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Recent Trends in Algebraic Development Techniques
Abstract scalars, loops, and free traced and strongly compact closed categories
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
WiCcA: LTS generation tool for wire calculus
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
A connector algebra for P/T nets interactions
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Connector algebras, petri nets, and BIP
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
| Hi-index | 0.00 |
We introduce a novel compositional algebra of Petri nets, as well as a stateful extension of the calculus of connectors. These two formalisms are shown to have the same expressive power.