Modelling global and local name spaces for mobile agents using object nets

Fundamenta Informaticae

Volumn 72, Issue 1-3 SPEC. ISS., 2006, Pages 109-122

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

^a UNIVERSITY OF HAMBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

GLOBAL NAME SPACES; NOTIONS OF PROXIMITY; PARADIGM; REFERENCE SEMANTICS;

COMPUTER PROGRAMMING LANGUAGES; INTERNET; PETRI NETS; SEMANTICS; TELECOMMUNICATION NETWORKS; WIRELESS TELECOMMUNICATION SYSTEMS;

INTELLIGENT AGENTS;

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

References (14)

1. Bednarczyk, M. A., Bernardinello, L., Pawlowski, W., Pomello, L.: Modelling mobility with Petri hypernets, Recent Trends in Algebraic Development Techniques (WADT2004) (J. L. Fiadeiro, P. D. Mosses, F. Orejas, Eds.), Lecture Notes in Computer Science, Springer-Verlag, 2004.
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. Köhler, M., Moldt, D., Rölke, H.: Modelling Mobility and Mobile Agents using Nets within Nets, International Conference on Application and Theory of Petri Nets 2003 (W. v. d. Aalst, E. Best, Eds.), 2679, Springer-Verlag, 2003.
5. Köhler, M., Rölke, H.: Concurrency for Mobile Object-Net Systems, Fundamenta Informaticae, 54(2-3), 2003.
6. Köhler, M., Rölke, H.: Properties of Object Petri Nets, International Conference on Application and Theory of Petri Nets 2004 (J. Cortadella, W. Reisig, Eds.), 3099, Springer-Verlag, 2004.
7. Köhler, M., Rölke, H.: Reference and Value Semantics are equivalent for Ordinary Object Petri Nets, International Conference on Application and Theory of Petri Nets 2005 (P. Darondeau, G. Ciardo, Eds.), 3536, Springer-Verlag, 2005.
8. Köhler, M., Rölke, H., Valk, R.: Structural Analysis of Mobile Agents using Invariants of Object Nets, International Workshop on Modelling with Objects, Components, and Agents (MOCA 2004), 2004.
9. Kummer, O.: Referenznetze, Logos Verlag, 2002.
10. Lomazova, I. A.: Nested Petri Nets - a Formalism for Specification of Multi-agent distributed systems, Fundamenta Informaticae, 43(1-4), 2000, 195-214.
11. Valk, R.: Modelling Concurrency by Task/Flow EN Systems, 3rd Workshop on Concurrency and Compositionality, number 191 in GMD-Studien, St. Augustin, Bonn, 1991.
12. 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.
13. Valk, R.: Object Petri nets: Using the nets-within-nets paradigm, Advanced Course on Petri Nets 2003 (J. Desel, W. Reisig, G. Rozenberg, Eds.), 3098, Springer-Verlag, 2003.
14. Wienberg, A., Matthes, F., Boger, M.: Modeling Dynamic Software Components with UML, UML'99 - The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, October 28-30. 1999, Proceedings (R. France, B. Rumpe, Eds.), 1723, Springer-Verlag, 1999.