Bibliographie

Properties of Super-Dual Nets

Michael Köhler and Heiko Rölke.
Properties of super-dual nets.
Fundamenta Informaticae, 72(1-3):245-254, 2006.

Kurzfassung: Petri nets can be dualised by interchanging the role of places and transitions. This notion of duality is applicable only for unmarked Petri nets, since a marked place would be translated to a marked transition - which is meaningless - in the dual net. In this presentation we study the formalism of super-dual nets which are a generalisation of Petri nets. Super-dual nets allow for marked transitions also. The properties and the relation to other net formalism is studied.

BibTeX-Eintrag

@article{Koehler+06,
  author =  {K{\"o}hler, Michael and R{\"o}lke, Heiko},
  title = {Properties of Super-Dual Nets},
  journal = "Fundamenta Informaticae",
  volume = {72},
  number = {1--3},
  pages = {245--254},
  year =  2006,
  abstract = {Petri nets can be dualised by interchanging the role of places and
  transitions. This notion of duality is applicable only for unmarked
  Petri nets, since a marked place would be translated to a marked
  transition - which is meaningless - in the dual net.
  In this presentation we study the formalism of super-dual nets which
  are a generalisation of Petri nets.  Super-dual nets allow for
  marked transitions also.  The properties and the relation to other
  net formalism is studied.}
}

Copyright-Hinweis

Diese Informationen werden zur Verfügung gestellt, um technische und Forschungsarbeiten zeitnah bekannt zu geben. Das Urheberrecht und alle damit verbundenen Rechte verbleiben bei den Autoren bzw. anderen Rechteinhabern. Von jedem, der Informationen dieser Seiten übernimmt, wird erwartet, dass er sich an die jeweiligen Bedingungen und Beschränkungen der Rechteinhaber hält. Meist bedeutet dies, dass die hier bereitgestellten Daten nicht ohne explizite Genehmigung der Rechteinhaber weiterveröffentlicht werden dürfen.