Properties of Super-Dual Nets

• Autorzy: Köhler, M. , Rölke, H.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

Petri net; super-dual Petri nets; simulation

• Czasopismo: Fundamenta Informaticae
• Rocznik: 2006
• Tom: Vol. 72, nr 1-3
• Strony: 245-254
• Opis fizyczny: wykr., bibliogr. 8 poz.

Twórcy

autor

Köhler, M.

autor

Rölke, H.

• Universität Hamburg Fachbereich Informatik Vogt-Kölln-Str. 30 D-22527 Hamburg, Germany,

Bibliografia

• [1] Farwer, B.: A Linear Logic View of Object Petri Nets, Fundamenta Informaticae, 37(3), 1999, 225-246.
• [2] Köhler, M., Rölke, H.: Concurrency for Mobile Object-Net Systems, Fundamenta Informaticae, 54(2-3), 2003.
• [3] Köhler, M., Rölke, H.: Properties of Object Petri Nets, International Conference on Application and Theory of Petri Nets 2004 (J. Cortadella, W. Reisig, Eds.), 3099, Springer-Verlag, 2004.
• [4] Lautenbach, K.: Duality of marked place/transition nets, Technical Report 18, Universit¨at Koblenz-Landau, 2003.
• [5] Lomazova, I. A.: Nested Petri Nets - a Formalism for Specification of Multi-agent distributed systems, Fundamenta Informaticae, 43(1-4), 2000, 195-214.
• [6] Valk, R.: Self-Modifying Nets, a Natural Extension of Petri Nets., Automata, Languages and Programming (Ausiello, G., Böhm, C., Eds.), 62, Springer-Verlag, 1978.
• [7] Valk, R.: Modelling Concurrency by Task/Flow EN Systems, 3rd Workshop on Concurrency and Compositionality, number 191 in GMD-Studien, Gesellschaft für Mathematik und Datenverarbeitung, St. Augustin, Bonn, 1991.
• [8] Valk, R.: Object Petri nets: Using the nets-within-nets paradigm, Advanced Course on Petri Nets 2003 (J. Desel, W. Reisig, G. Rozenberg, Eds.), 3098, Springer-Verlag, 2003.