An Approach to the Category of Net Computations
An Approach to the Category of Net Computations
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[N]$. 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.
petri nets processes, petri nets semantics, symmetric monoidal categories
385-399
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
1994
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Sassone, V.
(1994)
An Approach to the Category of Net Computations.
6th Nordic Workshop on Programming Theory, NWPT '94..
.
Record type:
Conference or Workshop Item
(Paper)
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[N]$. 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.
Text
strong-wshp-lng.pdf
- Other
More information
Published date: 1994
Additional Information:
Organisation: University of Aarhus
Venue - Dates:
6th Nordic Workshop on Programming Theory, NWPT '94., 1994-01-01
Keywords:
petri nets processes, petri nets semantics, symmetric monoidal categories
Organisations:
Web & Internet Science
Identifiers
Local EPrints ID: 261950
URI: http://eprints.soton.ac.uk/id/eprint/261950
PURE UUID: 6e827b69-6d95-43ab-bd1c-964e920ebaf1
Catalogue record
Date deposited: 12 Feb 2006
Last modified: 14 Mar 2024 07:01
Export record
Contributors
Author:
V. Sassone
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics