Petri nets: an introduction
Communicating sequential processes
Communicating sequential processes
Finite representations of CCS and TCSP programs by automata and Petri nets
Finite representations of CCS and TCSP programs by automata and Petri nets
Process algebra
Modelling nondeterministic concurrent processes with event structures
Fundamenta Informaticae
Combining CCS and Petri nets via structural axioms
Fundamenta Informaticae
Flow models of distributed computations: three equivalent semantics for CCS
Information and Computation
On the implementation of concurrent calculi in net calculi: two case studies
Theoretical Computer Science
An event structure semantics for general Petri nets
Theoretical Computer Science - Special volume on Petri nets
Operational and denotational semantics for the box algebra
Theoretical Computer Science
Distributed and parallel systems
Parameterized M-expression semantics of parallel procedures
Distributed and parallel systems
Petri net algebra
Communication and Concurrency
Specification and Analysis of Concurrent Systems: The COSY Approach
Specification and Analysis of Concurrent Systems: The COSY Approach
B(PN)2 - a Basic Petri Net Programming Notation
PARLE '93 Proceedings of the 5th International PARLE Conference on Parallel Architectures and Languages Europe
Petri Net Models for Algebraic Theories of Concurrency
Proceedings of the Parallel Architectures and Languages Europe, Volume I
An Algebraic Semantics for Hierarchical P/T Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
The box calculus: a new causal algebra with multi-label communication
Advances in Petri Nets 1992, The DEMON Project
Petri net semantics of the finite π-calculus terms
Fundamenta Informaticae
Versatile boxes: a multi-purpose algebra of high-level Petri nets
Proceedings of the 2007 Summer Computer Simulation Conference
Modelling and verification of timed interaction and migration
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
A petri net translation of π-calculus terms
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
Compositional semantics for UML 2.0 sequence diagrams using petri nets
SDL'05 Proceedings of the 12th international conference on Model Driven
Hi-index | 0.00 |
The starting point of this paper is an algebraic Petri net framework allowing one to express net compositions, such as iteration and parallel composition, as well as transition synchronisation and restriction. We enrich the original model by introducing new constructs supporting asynchronous interprocess communication. Such a communication is made possible thanks to special 'buffer' places where different transitions (processes) may deposit and remove tokens. We also provide an abstraction mechanism, which hides buffer places, effectively making them private to the processes communicating through them. We then provide an algebra of process expressions, whose constants and operators directly correspond to those used in the Petri net framework. Such a correspondence is used to associate nets to process expressions in a compositional way. That the resulting algebra of expressions is consistent with the net algebra is demonstrated by showing that an expression and the corresponding net generate isomorphic transition systems. This results in the Asynchronous Box Calculus (or ABC), which is a coherent dual model, based on Petri nets and process expressions, suitable for modelling and analysing distributed systems whose components can interact using both synchronous and asynchronous communication.