The Reachability Problem for Object Nets

• Autorzy: Köhler M.
• Języki publikacji: EN

Abstrakty

EN

In this article I will prove undecidability results for elementary object net systems ( EOS). Object nets are Petri nets which have Petri nets as tokens - an approach which is called the "nets-within-nets" paradigm. EOS are special object net systems which have a two leveled structure.

Słowa kluczowe

EN

decidability; nets within nets; Petri net; reachability

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2007
• Tom: Vol. 79, nr 3-4
• Strony: 401--413
• Opis fizyczny: bibliogr. 14 poz., wykr.

Twórcy

autor

Köhler M.

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

Bibliografia

• [1] Araki, T., Kasami, T.: Some Decision Problems Related to the Reachability Problem for Petri Nets, Theoretical Computer Science, 3, 1977, 85-104.
• [2] Farwer, B.: A Linear Logic View of Object Petri Nets, Fundamenta Informaticae, 37(3), 1999, 225-246.
• [3] Köhler, M., Moldt, D., Rölke, H.: Modeling the Behaviour of Petri Net Agents, International Conference on Application and Theory of Petri Nets (J. M. Colom, M. Koutny, Eds.), 2075, Springer-Verlag, 2001.
• [4] Köhler, M., Moldt, D., Rölke, H.: Modelling Mobility and Mobile Agents using Nets within Nets, International Conference on Application and Theory of Petri Nets 2003 (W. v. d. Aalst, E. Best, Eds.), 2679, Springer-Verlag, 2003.
• [5] Köhler, M., Rölke, H.: Concurrency for Mobile Object-Net Systems, Fundamenta Informaticae, 54(2-3), 2003.
• [6] 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.
• [7] Köhler, M., Rölke, H.: Reference and Value Semantics are equivalent for Ordinary Object Petri Nets, International Conference on Application and Theory of Petri Nets 2005 (P. Darondeau, G. Ciardo, Eds.), 3536, Springer-Verlag, 2005.
• [8] Köhler, M., Rölke, H., Valk, R.: Structural Analysis of Mobile Agents using Invariants of Object Nets, Proceedings of the International Workshop on Modelling with Objects, Components, and Agents (MOCA 2004), 2004.
• [9] Kummer, O.: Undecidability in Object-Oriented Petri Nets, Petri Net Newsletter, 59, 2000, 18-23.
• [10] Lambert, J.-L.: A structure to decide the reachability in Petri nets, Theoretical Computer Science, 99, 1992, 79-104.
• [11] Lomazova, I. A., Schnoebelen, P.: Some Decidability Results for Nested Petri Nets, International Conference on Perspectives of System Informatics (PSI'99), 1755, Springer-Verlag, 2000.
• [12] Mayr, E. W.: An Algorithm for the General Petri Net Reachability Problem, SIAM Journal Computation, 13(3), August 1984, 441-460.
• [13] 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.
• [14] 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.