License
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.FSTTCS.2008.1755
URN: urn:nbn:de:0030-drops-17552
URL: http://drops.dagstuhl.de/opus/volltexte/2008/1755/
Go to the corresponding LIPIcs Volume Portal


Hayman, Jonathan ; Winskel, Glynn

The unfolding of general Petri nets

pdf-format:
Document 1.pdf (441 KB)


Abstract

The unfolding of (1-)safe Petri nets to occurrence nets is well understood. There is a universal characterization of the unfolding of a safe net which is part and parcel of a coreflection from the category of occurrence nets to the category of safe nets. The unfolding of general Petri nets, nets with multiplicities on arcs whose markings are multisets of places, does not possess a directly analogous universal characterization, essentially because there is an implicit symmetry in the multiplicities of general nets, and that symmetry is not expressed in their traditional occurrence net unfoldings. In the present paper, we show how to recover a universal characterization by representing the symmetry in the behaviour of the occurrence net unfoldings of general Petri nets. We show that this is part of a coreflection between enriched categories of general Petri nets with symmetry and occurrence nets with symmetry.

BibTeX - Entry

@InProceedings{hayman_et_al:LIPIcs:2008:1755,
  author =	{Jonathan Hayman and Glynn Winskel},
  title =	{{The unfolding of general Petri nets}},
  booktitle =	{IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science},
  pages =	{223--234},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-08-8},
  ISSN =	{1868-8969},
  year =	{2008},
  volume =	{2},
  editor =	{Ramesh Hariharan and Madhavan Mukund and V Vinay},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2008/1755},
  URN =		{urn:nbn:de:0030-drops-17552},
  doi =		{http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2008.1755},
  annote =	{Keywords: Petri nets, symmetry, unfolding}
}

Keywords: Petri nets, symmetry, unfolding
Seminar: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
Issue Date: 2008
Date of publication: 05.12.2008


DROPS-Home | Fulltext Search | Imprint Published by LZI