Some Considerations on Higher-Order Petri Nets

• Autorzy: Farwer B. , Kudlek M. , Misra K.
• Języki publikacji: EN

Abstrakty

EN

This paper introduces higher-order Petri nets based on multiset rewriting. Some variations of the firing rule for high-level Petri nets following the nets-within-nets paradigm, i.e. allowing Petri nets as tokens, are discussed. All considerations keep in mind the possibile existence of a universal higher-order Petri net.

Słowa kluczowe

EN

Petri net; multiset rewriting; object net; nets-within-nets paradigm; universal Petri net

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2003
• Tom: Vol. 54, nr 2,3
• Strony: 185--193
• Opis fizyczny: bibliogr. 7 poz.

Twórcy

autor

Farwer B.

autor

Kudlek M.

autor

Misra K.

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

Bibliografia

• [1] B. Farwer and I. Lomazova. A systematic approach towards object-based petri net formalisms. In D. Bjorner and A. Zamulin, editors, Perspectives of System Informatics, Proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, pages 255267. LNCS 2244. Springer-Verlag, 2001.
• [2] K. Jensen. Coloured Petri Nets. Volume 1: Basic Concepts. Springer-Verlag, 1992.
• [3] M. Kudlek, C. Mart´ın Vide, Gh. P˘aun: Toward FMT (Formal Macroset Theory). In: Multiset Processing, eds. C. Calude, Gh. P˘aun, G. Rozenberg, A. Salomaa, LNCS 2235, pp 123-133, 2001.
• [4] C. A. Lakos. Object Petri Nets—Definition and Relationship to Coloured Nets. Technical report, TR94-3, Computer Science Department, University of Tasmania, 1994.
• [5] C. A. Lakos. From coloured Petri Nets to Object Petri Nets. In K. Jensen, editor, Application and Theory of Petri Nets, LNCS 935, pages 278–297. Springer-Verlag, 1995.
• [6] I. A. Lomazova. Nested Petri Nets — A Formalism for Specification of Multi-Agent Distributed Systems. Fundamenta Informaticae, 43(1–4):195–214, 2000.
• [7] R. Valk. Petri nets as dynamical objects. In Workshop Proc. of the 16th International Conference on Application and Theory of Petri Nets, Torino, Italy, 1995.