License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)
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://dagstuhl.sunsite.rwth-aachen.de/volltexte/2008/1755/
Go to the corresponding LIPIcs Volume Portal

Hayman, Jonathan ; Winskel, Glynn

The unfolding of general Petri nets

pdf-format:
08004.HaymanJonathan.1755.pdf (0.4 MB)

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 =		{10.4230/LIPIcs.FSTTCS.2008.1755},
  annote =	{Keywords: Petri nets, symmetry, unfolding}
}

Keywords: Petri nets, symmetry, unfolding
Collection: 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 | Privacy Published by LZI