The University of Southampton
University of Southampton Institutional Repository

Functorial Semantics for Petri Nets under the Individual Token Philosophy

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (1999) Functorial Semantics for Petri Nets under the Individual Token Philosophy At Category Theory and Computer Science, CTCS '99.. , 18 pp..

Record type: Conference or Workshop Item (Paper)


Although the algebraic semantics of place/transition Petri nets under the collective token philosophy has been fully explained in terms of (strictly) symmetric (strict) monoidal categories, the analogous construction under the individual token philosophy is not completely satisfactory because it lacks universality and also functoriality. We introduce the notion of pre-net to recover these aspects, obtaining a fully satisfactory categorical treatment centered on the notion of adjunction. This allows us to present a purely logical description of net behaviours under the individual token philosophy in terms of theories and theory morphisms in partial membership equational logic, yielding a complete match with the theory developed by the authors for the collective token view of nets

PDF prenetsCTCS.pdf - Other
Download (236kB)

More information

Published date: 1999
Venue - Dates: Category Theory and Computer Science, CTCS '99., 1999-01-01
Keywords: petri nets processes, petri nets semantics, collective token philosophy, individual token philosophy
Organisations: Web & Internet Science


Local EPrints ID: 261958
PURE UUID: 3f277513-2bb4-49fa-ba7b-319b5145bd35

Catalogue record

Date deposited: 13 Feb 2006
Last modified: 18 Jul 2017 08:56

Export record


Author: R. Bruni
Author: J. Meseguer
Author: U. Montanari
Author: V. Sassone

University divisions

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.