Concurrency in Mobile Object Net Systems

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

Abstrakty

EN

In this work we present the model of ``mobile object net systems'' - an algebraic formalisation of the ``nets within nets''-paradigm. The formalism of ``mobile object nets'' is well suited to express the dynamics of open, mobile systems, since it allows tokens to be active. The algebraic theory of ``mobile object net systems'' covers an integrated view of the two major topics concurrency and locality, which are central in the area of mobile computing. As a main result of this contribution, we derive an algebraic model in the ``Petri nets are monoids'' style. It is shown, that mobile object net systems are a conservative extension of the Petri net formalism.

Słowa kluczowe

EN

concurrency; mobility; nets-within-nets paradigm; Petri nets as monoids

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

Twórcy

autor

Köhler M.

autor

Rölke H.

• University of Hamburg, Department of Computer Science, Vogt-Kölln-str. 30, D-22527 Hamburg,

Bibliografia

• [1] Asperti, A., Busi, N.: Mobile Petri nets, Technical report, Department of computer science, University of Bologna, TR UBLCS-96-10, 1996.
• [2] Barr, M., Wells, C.: Category theory for computing science, Prentice Hall, 1990.
• [3] Cardelli, L., Gordon, A. D., Ghelli, G.: Mobility types for mobile ambients, Proceedings of the ICALP’99, 1644, Springer-Verlag, 1999.
• [4] Farwer, B.: A Linear Logic View of Object Petri Nets, Fundamenta Informaticae, 37(3), 1999, 225-246.
• [5] Farwer, B.: Linear Logic Based Calculi for Object Petri Nets, Logos Verlag, Berlin, 2000.
• [6] Köhler, M.: Mobile object net systems: Petri Nets as Active Tokens, Technical Report 320, Universität Hamburg, Fachbereich Informatik, Vogt-K¨olln Str. 30, 22527 Hamburg, Germany, 2002.
• [7] Köhler, M., Moldt, D., R¨olke, H.: Modeling the Behaviour of Petri Net Agents, Proceedings of the 22st Conference on Application and Theory of Petri Nets (J. M. Colom, M. Koutny, Eds.), 2075, Springer-Verlag, June 2001.
• [8] Köhler, M., R Köhler lke, H.: Modelling mobility and mobile agents using nets within nets, Proceedings of the Workshop on Modelling of Object, Components, and Agents (MOCA’02) (D. Moldt, Ed.), Computer Science Department, Aarhus University, 2002.
• [9] Kummer, O.: Referenznetze, Logos Verlag, 2002 M. K Köhler and H. Rölke / Concurrency in Mobile Object Net Systems 235
• [10] Kummer, O., Wienberg, F., Duvigneau, M.: The Reference Net Workshop (Renew), Universit¨at Hamburg, 1998-2003, Http://www.renew.de.
• [11] Lomazova, I. A.: Nested Petri Nets – a Formalism for Specification of Multi-agent distributed systems., Proceedings of the CSP’99 Workshop, Warsaw, 28-30 September 1999 (Burkhard, H.-D., Czaja, L., Nguyen, H.-S., Starke, P., Eds.), 1999.
• [12] Mac Lane, S.: Categories for the working mathematician, Springer-Verlag, 1971.
• [13] Meseguer, J.: Conditional rewriting logic as a unified model of concurrency, Theoretical Computer Science, 96, 1992, 73-155.
• [14] Meseguer, J., Montanari, U.: Petri nets are monoids, Information and Computation, 88(2), October 1990, 105-155.
• [15] Meseguer, J., Montanari, U., Sassone, V.: Process versus Unfolding Semantics for Place/Transition Petri Nets, Theoretical Computer Science, 153(1&2), 1996, 171-210.
• [16] Meseguer, J., Montanari, U., Sassone, V.: On the Semantics of Place/Transition Petri Nets, Mathematical Structures in Computer Science, 7(4), 1997, 359-397.
• [17] Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, parts 1-2, Information and computation, 100(1), 1992, 1-77.
• [18] Stehr, M.-O., Meseguer, J., ¨Olveczky, P. C.: Rewriting Logic as a Unifying Framework for Petri Nets, Unifying Petri Nets (H. Ehrig, G. Juhas, J. Padberg, G. Rozenberg, Eds.), Lecture Notes in Computer Science (Advances in Petri Nets), Springer-Verlag, December 2001.
• [19] Thiagarajan, P.: Elementary net systems, in: Petri Nets: Central Models and Their Properties (W. Brauer, W. Reisig, G. Rozenberg, Eds.), vol. 254 of Lecture Notes in Computer Science, Springer-Verlag, 1987, 26-59.
• [20] Valk, R.: Modelling Concurrency by Task/Flow EN Systems, Proceedings 3rd Workshop on Concurrency and Compositionality, number 19 in GMD-Studien, Gesellschaft für Mathematik und Datenverarbeitung, St. Augustin, Bonn, 1991.
• [21] Valk, R.: Petri Nets as Token Objects: An Introduction to Elementary Object Nets., Application and Theory of Petri Nets (J. Desel, M. Silva, Eds.), 1420, June 1998.
• [22] Valk, R.: Concurrency in Communicating Object Petri Nets, Concurrent Object-Oriented Programming and Petri Nets (G. Agha, F. De Cindio, G. Rozenberg, Eds.), Lecture Notes in Computer Science, Springer-Verlag, Berlin, 2000.
• [23] Valk, R.: Relating different semantics for object Petri nets., Technical Report FBI-HH-B-226/00, Universität Hamburg, FB Informatik, 2000.
• [24] Vitek, J., Castagna, G.: Seal: A Framework for Secure Mobile Computations, ICCL Workshop: Internet Programming Languages, 1998.