A Distributed Implementation of Mobile Nets as Mobile Agents

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. Asperti, N.: Busi, “Mobile Petri Nets”, Technical Report UBLCS-96-10, dept. of Computer Science, University of Bologna, Italy (1996)

   Google Scholar 

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. 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. 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)

   Chapter  Google Scholar 

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. Busi, N.: Mobile Nets. In: Proc. FMOODS’99. Kluwer, Dordrecht (1999)

   Google Scholar 

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)

   Chapter  Google Scholar 

9. Fournet, C., Gonthier, G.: The reflexive CHAM and the Join calculus. In: POPL’96 (1996)

   Google Scholar 

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)

    Chapter  Google Scholar 

11. Jensen, K.: Coloured Petri Nets. EATCS Monographs in Computer Science. Springer, Heidelberg (1992)

    Book  MATH  Google Scholar 

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. 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)

    Chapter  Google Scholar 

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. Milner, R., Parrow, J., Walker, D.: A Calculus ofMobile Processes. Information and Computation 100, 1–77 (1992)

    Article  MathSciNet  MATH  Google Scholar 

16. Petri, C.A.: Kommunikation mit Automaten. PhD Thesis, Institut für Instrumentelle Mathematik, Bonn, Germany (1962)

    Google Scholar 

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. Sibertin-Blanc, C.: Cooperative Nets. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol. 815, pp. 471–490. Springer, Heidelberg (1994)

    Chapter  Google Scholar 

19. Valk, R.: Generalizations of Petri Nets. In: Gruska, J., Chytil, M.P. (eds.) MFCS 1981. LNCS, vol. 118. Springer, Heidelberg (1981)

    Chapter  Google Scholar 

20. Valk, R.: On Processes of Object Petri Nets. Bericht Nr. 185, Fachbereich Informatik, Universitat Hamburg (1996)

    Google Scholar 

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)

    Chapter  Google Scholar 

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)

    Chapter  Google Scholar 

Download references