A Distributed Implementation of Mobile Nets as Mobile Agents

  • Nadia Busi
  • Luca Padovani
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3535)

Abstract

Mobile nets arise as a combination of the name managing techniques of the π-calculus with the representation of concurrency and locality of Petri nets. We propose MagNets, a variant of mobile nets that are suitable for an effective, distributed implementation. Such implementation extends an implementation of the Join calculus virtual machine with dynamic reconfiguration features.

References

  1. 1.
    van der Aalst, W.M.P.: Pi calculus versus Petri nets: Let us eat “humble pie” rather than further inflate the Pi hype, http://tmitwww.tm.tue.nl/staff/wvdaalst/pi-hype.pdf
  2. 2.
    Asperti, N.: Busi, “Mobile Petri Nets”, Technical Report UBLCS-96-10, dept. of Computer Science, University of Bologna, Italy (1996)Google Scholar
  3. 3.
    Fournet, C., Gonthier, G., Levy, J.-J., Maranget, L., Remy, D.: A Calculus of Mobile Agents. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol. 1119, p. 272. Springer, Heidelberg (1996)Google Scholar
  4. 4.
    Battiston, E., Chizzoni, A., De Cindio, F.: Inheritance and Concurrency in CLOWN. In: First Workshop on Object-Oriented Programming and Models of Concurrency (June 1995)Google Scholar
  5. 5.
    Bednarczyk, M.A., Bernardinello, L., Pawłowski, W., Pomello, L.: Modelling mobility with Petri hypernets. In: Fiadeiro, J.L., Mosses, P.D., Orejas, F. (eds.) WADT 2004. LNCS, vol. 3423. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  6. 6.
    Buchs, D., Guelfi, N.: CO-OPN: a concurrent object-oriented Petri nets approach. In: Proc. 12th Int. Conf. on Appl. and Theory of Petri Nets, Gjern (June 1991)Google Scholar
  7. 7.
    Busi, N.: Mobile Nets. In: Proc. FMOODS’99. Kluwer, Dordrecht (1999)Google Scholar
  8. 8.
    Engelfriet, J., Leih, G., Rozenberg, G.: Net based description of parallel object-based systems, or POTs and POPs. In: de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1990. LNCS, vol. 489, pp. 229–273. Springer, Heidelberg (1991)CrossRefGoogle Scholar
  9. 9.
    Fournet, C., Gonthier, G.: The reflexive CHAM and the Join calculus. In: POPL’96 (1996)Google Scholar
  10. 10.
    Köhler, M., Moldt, D., Rölke, H.: Modelling mobility and mobile agents using nets within nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  11. 11.
    Jensen, K.: Coloured Petri Nets. EATCS Monographs in Computer Science. Springer, Heidelberg (1992)CrossRefMATHGoogle Scholar
  12. 12.
    Lakos, C.A.: Object Petri Nets – Definition and Relationship to Coloured Nets. Technical Report TR94-3, Computer Science Department, University of Tasmania (1994)Google Scholar
  13. 13.
    Lakos, C.A.: From Coloured Petri Nets to Object Petri Nets. In: DeMichelis, G., Díaz, M. (eds.) ICATPN 1995. LNCS, vol. 935, pp. 278–297. Springer, Heidelberg (1995)CrossRefGoogle Scholar
  14. 14.
    Maranget, L., le Fessant, F.: Compiling Join Patterns. In: HLCL ’98, Nice, France, September 1998. Electronic Notes in Theoretical Computer Science, vol. 16(3) (1998)Google Scholar
  15. 15.
    Milner, R., Parrow, J., Walker, D.: A Calculus ofMobile Processes. Information and Computation 100, 1–77 (1992)MathSciNetCrossRefMATHGoogle Scholar
  16. 16.
    Petri, C.A.: Kommunikation mit Automaten. PhD Thesis, Institut für Instrumentelle Mathematik, Bonn, Germany (1962)Google Scholar
  17. 17.
    Padovani, L.: A Distributed Language with Mobile Agents: Design and Implementation. Master Thesis Dissertation (March 1998), http://www.cs.unibo.it/~lpadovan/master_thesis/main.pdf
  18. 18.
    Sibertin-Blanc, C.: Cooperative Nets. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol. 815, pp. 471–490. Springer, Heidelberg (1994)CrossRefGoogle Scholar
  19. 19.
    Valk, R.: Generalizations of Petri Nets. In: Gruska, J., Chytil, M.P. (eds.) MFCS 1981. LNCS, vol. 118. Springer, Heidelberg (1981)CrossRefGoogle Scholar
  20. 20.
    Valk, R.: On Processes of Object Petri Nets. Bericht Nr. 185, Fachbereich Informatik, Universitat Hamburg (1996)Google Scholar
  21. 21.
    Valk, R.: Petri nets as token objects: An introduction to elementary object nets. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol. 1420, Springer, Heidelberg (1998)CrossRefGoogle Scholar
  22. 22.
    Valk, R.: Concurrency in communicating object Petri nets. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2001. Springer, Heidelberg (2001)CrossRefGoogle Scholar

Copyright information

© IFIP International Federation for Information Processing 2005

Authors and Affiliations

  • Nadia Busi
    • 1
  • Luca Padovani
    • 1
  1. 1.Department of Computer ScienceUniversity of BolognaBolognaItaly

Personalised recommendations