The University of Southampton
University of Southampton Institutional Repository

# An Approach to the Category of Net Computations

Sassone, V. (1994) An Approach to the Category of Net Computations. 6th Nordic Workshop on Programming Theory, NWPT '94.. pp. 385-399 .

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

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