Mobile object-net systems and their processes

Fundamenta Informaticae

Volumn 60, Issue 1-4, 2004, Pages 113-129

  Farwer, Berndt ^a   Köhler, Michael ^a  

^a UNIVERSITY OF HAMBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; PETRI NETS; PROBLEM SOLVING; REAL TIME SYSTEMS; SYNCHRONIZATION;

MOBILE OBJECT-NET SYSTEMS (MONS); MOBILE OBJECTS; SYNCHRONIZATION TRESS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 2942705996     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (14)

1. Best, E., Fernández, C.: Nonsequential processes: a PEtri net view, Springer-Verlag, 1988.
2. Busi, N.: Mobile nets, Formal Methods for Open Object-Based Distributed Systems, 1999, 51-66.
3. Cardelli, L., Gordon, A. D., Ghelli, G.: Mobility types for mobile ambients, Proceedings of the Conference on Automata, Languages, and Programming (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. Köhler, M., Moldt, D., Rölke, H.: Modelling mobility and mobile agents using nets within nets, Proceedings of the International Conference on Application and Theory of Petri Nets 2003 (W. v. d. Aalst, E. Best, Eds.), 2679, Springer-Verlag, 2003.
6. Köhler, M., Rölke, H.: Concurrency for Mobile Object-Net Systems, Fundamenta Informaticae, 54(2-3), 2003.
7. Kummer, O.: Undecidability in Object-Oriented Petri Nets, Petri Net Newsletter, 59, 2000, 18-23.
8. Kummer, O.: Referenznetze, Logos Verlag, 2002.
9. Lomazova, I. A.: Nested Petri Nets - a Formalism for Specification of Multi-agent distributed systems, Fundamenta Informaticae, 43(1-4), 2000.
10. Meseguer, J.: Conditional rewriting logic as a unified model of concurrency, Theoretical Computer Science, 96, 1992, 73-155.
11. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, parts 1-2, Information and computation, 100(1), 1992, 1-77.
12. Reisig, W.: Petri Nets: An Introduction, Springer-Verlag, Heidelberg, 1985.
13. 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, 1998.
14. Vitek, J., Castagna, G.: Seal: A Framework for Secure Mobile Computations, ICCL Workshop: Internet Programming Languages, 1998.