On the Model of Computation of Place/Transition Petri Nets


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

Download

[img] PDF
Download (288Kb)

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. 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.

Item Type: Conference or Workshop Item (Paper)
ISBNs: 3540581529
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: 261949
Date Deposited: 12 Feb 2006
Last Modified: 27 Mar 2014 20:05
Publisher: Springer
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/261949

Actions (login required)

View Item View Item