The University of Southampton
University of Southampton Institutional Repository

# Axiomatizing Petri Net Concatenable Processes

Sassone, V. (1995) Axiomatizing Petri Net Concatenable Processes At 10th Conference on Fundamentals of Computation Theory, FCT '95.. , pp. 414-423.

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.

PDF P-of-N-conf.pdf - Other

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

## Contributors

Author: V. Sassone