On the Category of Petri Net Computations


Sassone, V. (1995) On the Category of Petri Net Computations. In, 6}th International Conference on Theory and Practice of Software Development, TAPSOFT '95. Springer, 334-348.

Download

[img] PDF
Download (254Kb)

Description/Abstract

We introduce the notion of strongly concatenable process as a refinement of concatenable processes [DMM89] which can be expressed axiomatically via a functor $Q[-]$ from the category of Petri nets to an appropriate category of symmetric strict monoidal categories, in the precise sense that, for each net $N$, the strongly concatenable processes of $N$ are isomorphic to the arrows of $Q[-]$. In addition, we identify a coreflection right adjoint to $Q[-]$ and characterize its replete image, thus yielding an axiomatization of the category of net computations.

Item Type: Conference or Workshop Item (Paper)
ISBNs: 3540592938
Keywords: petri nets processes, petri nets semantics, symmetric monoidal categories
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Web & Internet Science
ePrint ID: 261951
Date Deposited: 12 Feb 2006
Last Modified: 27 Mar 2014 20:05
Publisher: Springer
Further Information:Google Scholar
ISI Citation Count:4
URI: http://eprints.soton.ac.uk/id/eprint/261951

Actions (login required)

View Item View Item