A Congruence for Petri Nets


Sassone, V. and Sobocinski, P. (2005) A Congruence for Petri Nets. In, International Workshop on Petri Nets and Graph Transformations. Elsevier, 107-120.

Download

[img] PDF
Download (285Kb)

Description/Abstract

We introduce a way of viewing Petri nets as open systems. This is done by considering a bicategory of cospans over a category of p/t nets and embeddings. We derive a labelled transition system (LTS) semantics for such nets using GIPOs and characterise the resulting congruence. Technically, our results are similar to the recent work by Milner on applying the theory of bigraphs to Petri Nets. The two main differences are that we treat p/t nets instead of c/e nets and we deal directly with a category of nets instead of encoding them into bigraphs.

Item Type: Conference or Workshop Item (Paper)
ISBNs: 101016200502008
Keywords: petri nets, contextual congruences, bisimulation congruences, observational equivalences, bicategories, grpos
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Web & Internet Science
Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 262302
Date Deposited: 11 Apr 2006
Last Modified: 27 Mar 2014 20:05
Publisher: Elsevier
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/262302

Actions (login required)

View Item View Item