An Axiomatization of the Category of Petri Net Computations
An Axiomatization of the Category of Petri Net Computations
We introduce the notion of strongly concatenable process as a refinement of concatenable processes which can be expressed axiomatically via a functor Qn(_) 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 Qn(N). In addition, we identify a coreflection right adjoint to Qn(_) and characterize its replete image, thus yielding an axiomatization of the category of net computations.
petri nets processes, petri nets semantics, symmetric monoidal categories
117-151
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
1998
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Sassone, V.
(1998)
An Axiomatization of the Category of Petri Net Computations.
Mathematical Structures in Computer Science, 8, .
Abstract
We introduce the notion of strongly concatenable process as a refinement of concatenable processes which can be expressed axiomatically via a functor Qn(_) 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 Qn(N). In addition, we identify a coreflection right adjoint to Qn(_) and characterize its replete image, thus yielding an axiomatization of the category of net computations.
Text
strong-MSCS.pdf
- Other
More information
Published date: 1998
Keywords:
petri nets processes, petri nets semantics, symmetric monoidal categories
Organisations:
Web & Internet Science
Identifiers
Local EPrints ID: 261822
URI: http://eprints.soton.ac.uk/id/eprint/261822
PURE UUID: 8626ef7d-707f-41b3-849f-e98e8edc2ba3
Catalogue record
Date deposited: 26 Jan 2006
Last modified: 10 Sep 2024 01:40
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