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.

Abrégé: 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 enregistrement

@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 Notice

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.