Concurrency in mobile object net systems

Fundamenta Informaticae

Volumn 54, Issue 2-3, 2003, Pages 221-235

  Köhler, Michael ^a   Rölke, Heiko ^a  

^a UNIVERSITY OF HAMBURG   (Germany)

Author keywords

Concurrency; Mobility; Nets within nets; Petri nets as monoids

Indexed keywords

CONCURRENCY CONTROL; MOBILE COMPUTING; SEMANTICS; SET THEORY;

MOBILE OBJECT NET SYSTEMS (MONS);

PETRI NETS;

EID: 0037834666     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (24)

1. Asperti, A., Busi, N.: Mobile Petri nets, Technical report, Department of computer science, University of Bologna, TR UBLCS-96-10, 1996.
2. Barr, M., Wells, C.: Category theory for computing science, Prentice Hall, 1990.
3. Cardelli, L., Gordon, A. D., Ghelli, G.: Mobility types for mobile ambients, Proceedings of the ICALP'99, 1644, Springer-Verlag, 1999.
4. Farwer, B.: A Linear Logic View of Object Petri Nets, Fundamenta Informaticae, 37(3), 1999, 225-246.
5. Farwer, B.: Linear Logic Based Calculi for Object Petri Nets, Logos Verlag, Berlin, 2000.
6. Köhler, M.: Mobile object net systems: Petri Nets as Active Tokens, Technical Report 320, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, 22527 Hamburg, Germany, 2002.
7. Köhler, M., Moldt, D., Rölke, H.: Modeling the Behaviour of Petri Net Agents, Proceedings of the 22st Conference on Application and Theory of Petri Nets (J. M. Colom, M. Koutny, Eds.), 2075, Springer-Verlag, June 2001.
8. Köhler, M., Rölke, H.: Modelling mobility and mobile agents using nets within nets, Proceedings of the Workshop on Modelling of Object, Components, and Agents (MOCA'02) (D. Moldt, Ed.), Computer Science Department, Aarhus University, 2002.
9. Kummer, O.: Referenznetze, Logos Verlag, 2002.
10. Kummer, O., Wienberg, F., Duvigneau, M.: The Reference Net Workshop (Renew), Universität Hamburg, 1998-2003, Http://www.renew.de.
11. Lomazova, I. A.: Nested Petri Nets - a Formalism for Specification of Multi-agent distributed systems., Proceedings of the CSP'99 Workshop, Warsaw, 28-30 September 1999 (Burkhard, H.-D., Czaja, L., Nguyen, H.-S., Starke, P., Eds.), 1999.
12. Mac Lane, S.: Categories for the working mathematician, Springer-Verlag, 1971.
13. Meseguer, J.: Conditional rewriting logic as a unified model of concurrency, Theoretical Computer Science, 96, 1992, 73-155.
14. Meseguer, J., Montanari, U.: Petri nets are monoids, Information and Computation, 88(2), October 1990, 105-155.
15. Meseguer, J., Montanari, U., Sassone, V.: Process versus Unfolding Semantics for Place/Transition Petri Nets, Theoretical Computer Science, 153(1&2), 1996, 171-210.
16. Meseguer, J., Montanari, U., Sassone, V.: On the Semantics of Place/Transition Petri Nets, Mathematical Structures in Computer Science, 7(4), 1997, 359-397.
17. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, parts 1-2, Information and computation, 100(1), 1992, 1-77.
18. Stehr, M.-O., Meseguer, J., Ölveczky, P. C.: Rewriting Logic as a Unifying Framework for Petri Nets, Unifying Petri Nets (H. Ehrig, G. Juhas, J. Padberg, G. Rozenberg, Eds.), Lecture Notes in Computer Science (Advances in Petri Nets), Springer-Verlag, December 2001.
19. Thiagarajan, P.: Elementary net systems, in: Petri Nets: Central Models and Their Properties (W. Brauer, W. Reisig, G. Rozenberg, Eds.), vol. 254 of Lecture Notes in Computer Science, Springer-Verlag, 1987, 26-59.
20. Valk, R.: Modelling Concurrency by Task/Flow EN Systems, Proceedings 3rd Workshop on Concurrency and Compositionality, number 19 in GMD-Studien, Gesellschaft für Mathematik und Datenverarbeitung, St. Augustin, Bonn, 1991.
21. Valk, R.: Petri Nets as Token Objects: An Introduction to Elementary Object Nets., Application and Theory of Petri Nets (J. Desel, M. Silva, Eds.), 1420, June 1998.
22. Valk, R.: Concurrency in Communicating Object Petri Nets, Concurrent Object-Oriented Programming and Petri Nets (G. Agha, F. De Cindio, G. Rozenberg, Eds.), Lecture Notes in Computer Science, Springer-Verlag, Berlin, 2000.
23. Valk, R.: Relating different semantics for object Petri nets., Technical Report FBI-HH-B-226/00, Universität Hamburg, FB Informatik, 2000.
24. Vitek, J., Castagna, G.: Seal: A Framework for Secure Mobile Computations, ICCL Workshop: Internet Programming Languages, 1998.