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: 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.
Loading...View more statistics
