Bigraphs for Petri Nets

Robin Milner

doi:10.1007/978-3-540-27755-2_19

Bigraphs for Petri Nets

Robin Milner

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

A simple example is given of the use of bigraphical reactive systems (BRSs). It provides a behavioural semantics for condition-event Petri nets whose interfaces are named condition nodes, using a simple form of BRS equipped with a labelled transition system and its associated bisimilarity equivalence. Both of the latter are derived from the standard net firing rules by a uniform technique in bigraphs, which also ensures that the bisimilarity is a congruence. Furthermore, this bisimilarity is shown to coincide with one induced by a natural notion of experiment on condition-event nets, defined independently of bigraphs.

The paper is intended as a bridge between Petri net theory and bigraphs, as well as a pedagogical exercise in the latter.

Original language	English
Title of host publication	Lectures on Concurrency and Petri Nets
Publisher	Springer
Pages	686-701
Number of pages	16
Volume	3098
ISBN (Electronic)	978-3-540-27755-2
ISBN (Print)	978-3-540-22261-3
DOIs	https://doi.org/10.1007/978-3-540-27755-2_19
Publication status	Published - 2003

Access to Document

10.1007/978-3-540-27755-2_19

http://link.springer.com/chapter/10.1007%2F978-3-540-27755-2_19

Cite this

@inproceedings{04ec9cf71f6a42d895ef6b4b9ac3dd57,

title = "Bigraphs for Petri Nets",

abstract = "A simple example is given of the use of bigraphical reactive systems (BRSs). It provides a behavioural semantics for condition-event Petri nets whose interfaces are named condition nodes, using a simple form of BRS equipped with a labelled transition system and its associated bisimilarity equivalence. Both of the latter are derived from the standard net firing rules by a uniform technique in bigraphs, which also ensures that the bisimilarity is a congruence. Furthermore, this bisimilarity is shown to coincide with one induced by a natural notion of experiment on condition-event nets, defined independently of bigraphs. The paper is intended as a bridge between Petri net theory and bigraphs, as well as a pedagogical exercise in the latter. ",

author = "Robin Milner",

year = "2003",

doi = "10.1007/978-3-540-27755-2\_19",

language = "English",

isbn = "978-3-540-22261-3",

volume = "3098",

pages = "686--701",

booktitle = "Lectures on Concurrency and Petri Nets",

publisher = "Springer",

address = "United Kingdom",

}

TY - GEN

T1 - Bigraphs for Petri Nets

AU - Milner, Robin

PY - 2003

Y1 - 2003

N2 - A simple example is given of the use of bigraphical reactive systems (BRSs). It provides a behavioural semantics for condition-event Petri nets whose interfaces are named condition nodes, using a simple form of BRS equipped with a labelled transition system and its associated bisimilarity equivalence. Both of the latter are derived from the standard net firing rules by a uniform technique in bigraphs, which also ensures that the bisimilarity is a congruence. Furthermore, this bisimilarity is shown to coincide with one induced by a natural notion of experiment on condition-event nets, defined independently of bigraphs. The paper is intended as a bridge between Petri net theory and bigraphs, as well as a pedagogical exercise in the latter.

AB - A simple example is given of the use of bigraphical reactive systems (BRSs). It provides a behavioural semantics for condition-event Petri nets whose interfaces are named condition nodes, using a simple form of BRS equipped with a labelled transition system and its associated bisimilarity equivalence. Both of the latter are derived from the standard net firing rules by a uniform technique in bigraphs, which also ensures that the bisimilarity is a congruence. Furthermore, this bisimilarity is shown to coincide with one induced by a natural notion of experiment on condition-event nets, defined independently of bigraphs. The paper is intended as a bridge between Petri net theory and bigraphs, as well as a pedagogical exercise in the latter.

U2 - 10.1007/978-3-540-27755-2_19

DO - 10.1007/978-3-540-27755-2_19

M3 - Conference contribution

SN - 978-3-540-22261-3

VL - 3098

SP - 686

EP - 701

BT - Lectures on Concurrency and Petri Nets

PB - Springer

ER -

Bigraphs for Petri Nets

Abstract

Access to Document

Fingerprint

Cite this