Communicating sequential processes
Communicating sequential processes
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Failures semantics and deadlocking of modular Petri nets
Acta Informatica
A process specification formalism
Fundamenta Informaticae
Finite representations of CCS and TCSP programs by automata and Petri nets
Finite representations of CCS and TCSP programs by automata and Petri nets
Hierarchical composition of protocols
Automatic Control and Computer Sciences
Concurrent bisimulations in Petri nets
Acta Informatica
On Representing CCS Programs by Finite Petri Nets
MFCS '88 Proceedings of the Mathematical Foundations of Computer Science 1988
Building blocks for distributed system design
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
On compositionality and Petri nets in protocol engineering
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
Petri Net Models for Algebraic Theories of Concurrency
Proceedings of the Parallel Architectures and Languages Europe, Volume I
The Linear Time-Branching Time Spectrum (Extended Abstract)
CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
Reductions of Nets and Parallel Prgrams
Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications
A survey of equivalence notions for net based systems
Advances in Petri Nets 1992, The DEMON Project
The box calculus: a new causal algebra with multi-label communication
Advances in Petri Nets 1992, The DEMON Project
A basic-net algebra for program semantics and its application to OCCAM
Advances in Petri Nets 1992, The DEMON Project
A survey of basic net models and modular net classes
Advances in Petri Nets 1992, The DEMON Project
A Subset of Lotos with the Computational Power of Place/Transition-Nets
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Proceedings on Mathematical Foundations of Computer Science
An execution-level component composition model based on component testing information
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Defining composition operators for BPMN
SC'12 Proceedings of the 11th international conference on Software Composition
| Hi-index | 0.00 |
In the paper, a formal model based on Petri nets is proposed in the context of a compositional approach to the development and analysis of complex concurrent and distributed systems. Mutlilabels of Petri nets are introduced allowing labeling a transition not only with a single symbol, but also with a multiset of symbols. Operations on multilabeled Petri nets—parallel composition and restriction—are defined. A definition of a Petri net entity is given based on the notion of multilabels. A Petri net entity is a Petri net with a set of multilabels, where each multilabel is regarded as an access point of the entity. The operation of entity composition is introduced. Equivalence of entities is defined based on bisimulation equivalence of Petri nets. It is shown that the equivalence relation is congruent with respect to entity composition. It is also demonstrated that the composition operation is commutative and associative.