Strong Concatenable Processes: An Approach to the Category of Petri Net Computations

Forfattere

  • Vladimiro Sassone

DOI:

https://doi.org/10.7146/brics.v1i33.21610

Resumé

We introduce the notion of strong concatenable process for Petri nets as the least refinement of non-sequential (concatenable) processes which can be expressed abstractly by means of a functor Q[_] from the category of Petri nets to an appropriate category of symmetric strict monoidal categories with free non-commutative monoids of objects, in the precise sense that, for each net N, the strong concatenable processes of N are isomorphic to the arrows of Q[N]. This yields an axiomatization of the causal behaviour of Petri nets in terms of symmetric strict monoidal categories.

In addition, we identify a coreflection right adjoint to Q[_] and we characterize its replete image in the category of symmetric monoidal categories, thus yielding an abstract description of the category of net computations.

Downloads

Publiceret

1994-10-31

Citation/Eksport

Sassone, V. (1994). Strong Concatenable Processes: An Approach to the Category of Petri Net Computations. BRICS Report Series, 1(33). https://doi.org/10.7146/brics.v1i33.21610