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]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
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 and Applied Science > Electronics and Computer Science > Web & Internet Science |
| Item ID: | 261951 |
| Date Deposited: | 12 Feb 2006 |
| Last Modified: | 01 Mar 2012 23:51 |
| Contributors: | Sassone, V. (Author) |
| Date: | 1995 |
| Status: | Published |
| Publisher: | Springer |
| Further Information: | Google Scholar |
| ISI Citation Count: | 4 |
| URI: | http://eprints.soton.ac.uk/id/eprint/261951 |
Actions (login required)
 |
View Item |
