Petri nets: an introduction
Communicating sequential processes
Communicating sequential processes
Petr nets, algebras, morphisms, and compositionality
Information and Computation
Petri net models for algebraic theories of concurrency
Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe
Concurrent histories: a basis for observing distributed systems
Journal of Computer and System Sciences
Abstract and concrete categories
Abstract and concrete categories
Category theory for computing science
Category theory for computing science
Information and Computation
Categories of Models for Concurrency
Seminar on Concurrency, Carnegie-Mellon University
A Classification of Models for Concurrency
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Operational Petri net semantics for CCSP
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
Categories of asynchronous systems
Categories of asynchronous systems
Hi-index | 0.00 |
In “Petti nets are Monoids” by Meseguer and Montanari, categories for Petri nets with and without markings are introduced, where the categorical product and coproduct express the joint behavior of nets. However, this framework lacks structure in the sense that there is no categorical technique to define a composition of nets satisfying some given synchronization specification. In this paper, a synchronization operation is proposed which is a functor induced by some given synchronization prescription at the transition level. Moreover, since this operation is also able to represent the asynchronous composition, the fact that some categories of Petri nets lack coproducts (asynchronous composition) is not anymore a restriction for interaction semantics.