On the Expressiveness of Communication Channels for Object Nets

• Autorzy: Köhler-Bußmeier M. , Heitmann F.
• Języki publikacji: EN

Abstrakty

EN

In this work we present object net systems, i.e. Petri nets with nets as token objects, which are equipped with channels that allow to transfer net-tokens in the vertical dimension of the nested marking. These channels are a modelling element powerful enough to describe a direct simulation of counter programs which shows that typical net problems like boundedness, coverability, and reachability are undecidable.

Słowa kluczowe

EN

object net; simulation

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2009
• Tom: Vol. 93, nr 1-3
• Strony: 205--219
• Opis fizyczny: Bibliogr. 19 poz., tab., wykr.

Twórcy

autor

Köhler-Bußmeier M.

autor

Heitmann F.

• University of Hamburg, Department of Informatics Vogt-Kölln-Str. 30, D-22527 Hamburg,

Bibliografia

• [1] Bednarczyk,M. A., Bernardinello, L., Pawlowski,W., Pomello, L.: Modelling mobility with Petri hypernets, Recent Trends in Algebraic Development Techniques (WADT 2004) (J. L. Fiadeiro, P. D. Mosses, F. Orejas, Eds.), 3423, Springer-Verlag, 2004.
• [2] Bruni, R., Montanari, U.: Zero-Safe Nets: Comparing the Collective and Individual Token Approaches, Information and Computation, 156(1-2), 2000, 46-89.
• [3] Busi, N.: Mobile nets, Formal Methods for Open Object-Based Distributed Systems (P. Ciancarini, A. Fantechi, R. Gorrieri, Eds.), 139, Kluwer, 1999.
• [4] Dufourd, C., Finkel, A., Schnoebelen, P.: Reset nets between decidability and undecidability, Automata, Languages, and Programming (ICALP'98) (K. Larsen, Ed.), 1443, Springer-Verlag, 1998.
• [5] Farwer, B.: A Linear Logic View of Object Petri Nets, Fundamenta Informaticae, 37(3), 1999, 225-246.
• [6] Finkel, A., Schnoebelen, P.: Well-structured Transition systems everywhere!, Theoretical Computer Science, 256(1-2), 2001, 63-92.
• [7] Haddad, S., Poitrenaud, D.: Theoretical Aspects of Recursive Petri Nets, Proceedings of the 20th International Conference on Application and Theory of Petri Nets (S. Donatelli, J. Kleijn, Eds.), 1639, Springer-Verlag, 1999.
• [8] van Hee, K., Oanea, O., Serebrenik, A., Sidorova, N., Voorhoeve, M., Lomazova, I.: Checking Properties of AdaptiveWorkflow Nets, Fundamenta Informaticae, 79(3-4), 2007, 347-362.
• [9] Hiraishi, K.: PN2: An Elementary Model for Design and Analysis of Multi-agent Systems, Coordination Models and Languages, COORDINATION 2002 (F. Arbab, C. L. Talcott, Eds.), 2315, Springer-Verlag, 2002.
• [10] Köhler, M.: Reachable Markings of Object Petri Nets, Fundamenta Informaticae, 79(3-4), 2007, 401 - 413.
• [11] Köhler, M., Farwer, B.: Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets, Fundamenta Informaticae, 72(1-3), 2006, 109-122.
• [12] 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.
• [13] 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.
• [14] Lakos, C.: A Petri Net View ofMobility, Formal Techniques for Networked and Distributed Systems (FORTE 2005), 3731, Springer-Verlag, 2005.
• [15] Lomazova, I. A.: Nested Petri Nets - a Formalism for Specification of Multi-agent distributed systems, Fundamenta Informaticae, 43(1-4), 2000, 195-214.
• [16] Meseguer, J., Montanari, U.: Petri nets are monoids, Information and Computation, 88(2), October 1990, 105-155.
• [17] 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.
• [18] 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.
• [19] Xu, D., Deng, Y.: Modeling Mobile Agent Systems with High Level Petri Nets, IEEE International Conference on Systems, Man, and Cybernetics'2000, 2000.