Modelling Mobility with Petri Hypernets

  • Marek A. Bednarczyk
  • Luca Bernardinello
  • Wiesław Pawłowski
  • Lucia Pomello
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3423)

Abstract

Petri hypernets, a novel framework for modeling mobile agents based on nets-within-nets paradigm is presented. Hypernets employ a local and finitary character of interactions between agents, and provide means for a modular and hierarchical description. They are capable of modelling mobile agents tfrahat can dynamically change their hierarchy, and can communicate with each other and with the outside world by exchanging messages, i.e., other mobile agents.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Andrade, P., Baldan, P., Baumeister, H., et al.: AGILE: Software architecture for mobility. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol. 2755, pp. 48–70. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  2. 2.
    Asperti, A., Busi, N.: Mobile Petri nets. Technical Report UBLCS-96-10, Lab. for Computer Science, University of Bologna, Italy (1996)Google Scholar
  3. 3.
    Bednarczyk, M.A., Borzyszkowski, A.M.: On concurrent realizations of reactive systems and their morphisms. In: Ehrig, H., Juhás, G., Padberg, J., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2128, pp. 346–379. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  4. 4.
    Bernardinello, L.: Synthesis of net systems. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol. 691, pp. 89–105. Springer, Heidelberg (1993)Google Scholar
  5. 5.
    Bruni, R., Montanari, U.: Transactions and zero-safe nets. In: Ehrig, H., Juhás, G., Padberg, J., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2128, pp. 346–379. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  6. 6.
    Cardelli, L., Ghelli, G., Gordon, A.D.: Mobility types for mobile ambients. In: Wiedermann, J., Van Emde Boas, P., Nielsen, M. (eds.) ICALP 1999. LNCS, vol. 1644, pp. 230–239. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  7. 7.
    Fournet, C., Gonthier, G.: The reflexive chemical abstract machine and the Join calculus. In: Proceedings of POPL 1996, pp. 372–385 (1996)Google Scholar
  8. 8.
    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, pp. 121–139. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  9. 9.
    Lomazova, I.A., Schnoebelen, P.: Some decidability results for nested petri nets. In: Bjørner, D., Broy, M., Zamulin, A. (eds.) PSI 1999. LNCS, vol. 1755, pp. 208–220. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  10. 10.
    Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, parts 1-2. Information and Computation 100(1), 1–77 (1992)MATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    Reisig, W.: Petri Nets. In: EATCS Monographs on Theoretical Computer Science, vol. 4, Springer, Heidelberg (1985)Google Scholar
  12. 12.
    Valk, R.: On processes of object Petri nets. Technical Report FB-185, Fachbereich Informatik,Universität Hamburg (1996)Google Scholar
  13. 13.
    Valk, R.: Petri nets as token objects: An introduction to elementary object nets. In: van der Aalst, W., Best, E. (eds.) ICATPN 1998. LNCS, vol. 1420, pp. 1–25. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  14. 14.
    Valk, R.: Concurrency in communicating object Petri nets. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2001, pp. 164–195. Springer, Heidelberg (2001)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Marek A. Bednarczyk
    • 1
  • Luca Bernardinello
    • 2
  • Wiesław Pawłowski
    • 1
  • Lucia Pomello
    • 2
  1. 1.Institute of Computer ScienceP.A.S.GdańskPoland
  2. 2.DISCOUniversità degli Studi di Milano BicoccaMilanoItaly

Personalised recommendations