Modelling mobility with Petri hypernets

Lecture Notes in Computer Science

Volumn 3423, Issue , 2005, Pages 28-44

  Bednarczyk, Marek A ^a   Bernardinello, Luca ^b   Pawłowski, Wiesław ^a   Pomello, Lucia ^b  

^a PAS   (Poland)

^b UNIVERSITY OF MILANO BICOCCA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; HIERARCHICAL SYSTEMS; MOBILE TELECOMMUNICATION SYSTEMS; PETRI NETS;

FINITARY CHARACTER; MOBILE AGENTS; PETRI HYPERNETS;

SOFTWARE AGENTS;

EID: 24344457319     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31959-7_2     Document Type: Conference Paper

References (14)

1. P. Andrade and P. Baldan, H. Baumeister, et al. AGILE: Software architecture for mobility. In M. Wirsing, D. Pattinson, and R. Hennicker, editors, Recent Trends in Algebraic Development Techniques. 16th International Workshop WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002. Revised Selected Papers, volume 2755 of LNCS, pages 48-70. Springer-Verlag, 2003.
2. A. Asperti and N. Busi. Mobile Petri nets. Technical Report UBLCS-96-10, Lab. for Computer Science, University of Bologna, Italy, 1996.
3. M. A. Bednarczyk and A. M. Borzyszkowski. On concurrent realizations of reactive systems and their morphisms. In H. Ehrig, G. Juhas, J. Padberg, and G. Rozenberg, editors, Unifying Petri nets, Advances in Petri nets, volume 2128 of LNCS, pages 346-379. Springer-Verlag, 2001.
4. L. Bernardinello. Synthesis of net systems. In M. A. Marsan, editor, Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings, volume 691 of LNCS, pages 89-105. Springer-Verlag, 1993.
5. R. Bruni and U. Montanari. Transactions and zero-safe nets. In H. Ehrig, G. Juhas, J. Padberg, and G. Rozenberg, editors, Unifying Petri nets, Advances in Petri nets, volume 2128 of LNCS, pages 346-379. Springer-Verlag, 2001.
6. L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann, P. van Emde Boas, and M. Nielsen, editors, Automata, Languages and Programming: 26th International Colloquium, ICALP'99, Proceedings, volume 1644 of LNCS, pages 230-239. Springer-Verlag, 1999.
7. C. Fournet and G. Gonthier. The reflexive chemical abstract machine and the Join calculus. In Proceedings of POPL'96, pages 372-385, 1996.
8. M. Köhler, D. Moldt, and H. Rölke. Modelling mobility and mobile agents using nets within nets. In W. van der Aalst and E. Best, editors, Applications and Theory of Petri Nets 2003, Proceedings, volume 2679 of LNCS, pages 121-139. Springer-Verlag, 2003.
9. I. A. Lomazova and P. Schnoebelen. Some decidability results for nested Petri nets. In D. Bjørner, M. Broy, and A. Zamulin, editors, Perspectives of System Informatics (PSI'99), volume 1755 of LNCS, pages 208-220. Springer-Verlag, 2000.
10. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts 1-2. Information and Computation, 100(1):1-77, 1992.
11. W. Reisig. Petri Nets, volume 4 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1985.
12. R. Valk. On processes of object Petri nets. Technical Report FB-185, Fachbereich Informatik, Universität Hamburg, 1996.
13. R. Valk. Petri nets as token objects: An introduction to elementary object nets. In W. van der Aalst and E. Best, editors, Applications and Theory of Petri Nets 1998, Proceedings, volume 1420 of LNCS, pages 1-25. Springer-Verlag, 1998.
14. R. Valk. Concurrency in communicating object Petri nets. In G. Agha, F. De Cindio, and G. Rozenberg, editors, Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri Nets, volume 2001 of LNCS, pages 164-195. Springer-Verlag, 2001.