Sassone, V. and Sobocinski, P.
A Congruence for Petri Nets
At International Workshop on Petri Nets and Graph Transformations..
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.
Conference or Workshop Item
|Venue - Dates:
||International Workshop on Petri Nets and Graph Transformations., 2005-01-01
||petri nets, contextual congruences, bisimulation congruences, observational equivalences, bicategories, grpos
||Web & Internet Science, Electronic & Software Systems
||11 Apr 2006
||17 Apr 2017 21:43
|Further Information:||Google Scholar|
Actions (login required)