Bibliography
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.
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
@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.}
}
