Axiomatizing Petri Net Concatenable Processes
Axiomatizing Petri Net Concatenable Processes
The concatenable processes of a Petri net $N$ can be characterized abstractly as the arrows of a symmetric monoidal category $P[N]$. Yet, this is only a partial axiomatization, since $P[N]$ is built on a concrete, ad hoc chosen, category of symmetries. In this paper we give a fully equational description of the category of concatenable processes of $N$, thus yielding an axiomatic theory of the noninterleaving behaviour of Petri nets.
petri nets, petri nets processes, categorical semantics, symmetric monoidal categories
3-540-60249-6
414-423
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
1995
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Sassone, V.
(1995)
Axiomatizing Petri Net Concatenable Processes.
10th Conference on Fundamentals of Computation Theory, FCT '95..
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
The concatenable processes of a Petri net $N$ can be characterized abstractly as the arrows of a symmetric monoidal category $P[N]$. Yet, this is only a partial axiomatization, since $P[N]$ is built on a concrete, ad hoc chosen, category of symmetries. In this paper we give a fully equational description of the category of concatenable processes of $N$, thus yielding an axiomatic theory of the noninterleaving behaviour of Petri nets.
Text
P-of-N-conf.pdf
- Other
More information
Published date: 1995
Venue - Dates:
10th Conference on Fundamentals of Computation Theory, FCT '95., 1995-01-01
Keywords:
petri nets, petri nets processes, categorical semantics, symmetric monoidal categories
Organisations:
Web & Internet Science
Identifiers
Local EPrints ID: 261952
URI: http://eprints.soton.ac.uk/id/eprint/261952
ISBN: 3-540-60249-6
PURE UUID: c029e6ca-6dfe-4694-8005-d4ced8e32005
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