In: José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (Eds.): Lecture Notes in Computer Science, Vol. 3423: Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, pages 28-44. Springer-Verlag, 2005.
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 that can dynamically change their hierarchy, and can communicate with each other and with the outside world by exchanging messages, i.e., other mobile agents.