Process versus Unfolding Semantics for Place/Transition Petri Nets


Meseguer, J., Montanari, U. and Sassone, V. (1996) Process versus Unfolding Semantics for Place/Transition Petri Nets. Theoretical Computer Science, 153, (1-2), 171-210.

Download

[img] PDF
Download (3247Kb)

Description/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. In our formal development a relevant role is played by $cDecOcc$, a category of occurrence nets appropriately decorated to take into account the history of tokens. The structure of decorated occurrence nets at the same time provides natural unfoldings for Place/Transition (PT) nets and suggests a new notion of processes, the decorated processes, which induce on Petri nets the same semantics as that of unfolding. In addition, we prove that the decorated processes of a net can be axiomatized as the arrows of a symmetric monoidal category which, therefore, provides the aforesaid unification.

Item Type: Article
Keywords: petri nets non-sequential processes, petri nets unfoldings, petri nets semantics, models for concurrency, concurrency
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Web & Internet Science
ePrint ID: 261818
Date Deposited: 26 Jan 2006
Last Modified: 27 Mar 2014 20:04
Publisher: Elsevier
Further Information:Google Scholar
ISI Citation Count:23
URI: http://eprints.soton.ac.uk/id/eprint/261818

Actions (login required)

View Item View Item