A Congruence for Petri Nets
A Congruence for Petri Nets
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.
petri nets, contextual congruences, bisimulation congruences, observational equivalences, bicategories, grpos
doi:10.1016/j.entcs.2005.02.008
107-120
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Sobocinski, P.
439334ab-2826-447b-9fe5-3928be3fd4fd
2005
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Sobocinski, P.
439334ab-2826-447b-9fe5-3928be3fd4fd
Sassone, V. and Sobocinski, P.
(2005)
A Congruence for Petri Nets.
International Workshop on Petri Nets and Graph Transformations..
.
Record type:
Conference or Workshop Item
(Paper)
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.
Text
petriCongPNGToff.pdf
- Other
More information
Published date: 2005
Venue - Dates:
International Workshop on Petri Nets and Graph Transformations., 2005-01-01
Keywords:
petri nets, contextual congruences, bisimulation congruences, observational equivalences, bicategories, grpos
Organisations:
Web & Internet Science, Electronic & Software Systems
Identifiers
Local EPrints ID: 262302
URI: http://eprints.soton.ac.uk/id/eprint/262302
ISBN: doi:10.1016/j.entcs.2005.02.008
PURE UUID: ea5e73cb-10f5-4cb1-8ee2-267bbcb559c4
Catalogue record
Date deposited: 11 Apr 2006
Last modified: 10 Sep 2024 01:40
Export record
Contributors
Author:
V. Sassone
Author:
P. Sobocinski
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