The University of Southampton
University of Southampton Institutional Repository

On the Model of Computation of Place/Transition Petri Nets

On the Model of Computation of Place/Transition Petri Nets
On the Model of Computation of Place/Transition Petri Nets
In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game", one can model the behaviour of Petri nets via non-sequential processes, via unfolding constructions, which provide formal relationships between nets and domains, and via algebraic models, which view Petri nets as essentially algebraic theories whose models are monoidal categories. In this paper we show that these three points of view can be reconciled. More precisely, we introduce the new notion of decorated processes of Petri nets and we show that they induce on nets the same semantics as that of unfolding. In addition, we prove that the decorated processes of a net N can be axiomatized as the arrows of a symmetric monoidal category which, therefore, provides the aforesaid unification.
petri nets non-sequential processes, petri nets unfoldings, petri nets semantics, models for concurrency, concurrency
3-540-58152-9
16-38
Meseguer, J.
fdb4acf3-5cf5-440b-8618-8aeb9d0159d1
Montanari, U.
45418952-b856-4910-94c1-5ff3c7c19938
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Meseguer, J.
fdb4acf3-5cf5-440b-8618-8aeb9d0159d1
Montanari, U.
45418952-b856-4910-94c1-5ff3c7c19938
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7

Meseguer, J., Montanari, U. and Sassone, V. (1994) On the Model of Computation of Place/Transition Petri Nets. 15th International Conference on Application and Theory of Petri Nets, ICATPN '94.. pp. 16-38 .

Record type: Conference or Workshop Item (Paper)

Abstract

In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game", one can model the behaviour of Petri nets via non-sequential processes, via unfolding constructions, which provide formal relationships between nets and domains, and via algebraic models, which view Petri nets as essentially algebraic theories whose models are monoidal categories. In this paper we show that these three points of view can be reconciled. More precisely, we introduce the new notion of decorated processes of Petri nets and we show that they induce on nets the same semantics as that of unfolding. In addition, we prove that the decorated processes of a net N can be axiomatized as the arrows of a symmetric monoidal category which, therefore, provides the aforesaid unification.

Text
mod-comp.pdf - Other
Download (294kB)

More information

Published date: 1994
Venue - Dates: 15th International Conference on Application and Theory of Petri Nets, ICATPN '94., 1994-01-01
Keywords: petri nets non-sequential processes, petri nets unfoldings, petri nets semantics, models for concurrency, concurrency
Organisations: Web & Internet Science

Identifiers

Local EPrints ID: 261949
URI: http://eprints.soton.ac.uk/id/eprint/261949
ISBN: 3-540-58152-9
PURE UUID: 8ba5ebe9-78ab-4b2b-9816-e95709cac43d

Catalogue record

Date deposited: 12 Feb 2006
Last modified: 14 Mar 2024 07:02

Export record

Contributors

Author: J. Meseguer
Author: U. Montanari
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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

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.

×