Properties of Super-Dual Nets

Issue title: SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28–30 September 2005

Article type: Research Article

Authors: Köhler, Michael | Rölke, Heiko

Affiliations: University of Hamburg, Department of Informatics Vogt-Kölln-Str. 30, 22527 Hamburg, Germany. E-mails: [email protected]; [email protected]

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.

Journal: Fundamenta Informaticae, vol. 72, no. 1-3, pp. 245-254, 2006