Analysis of mobile agents using invariants of object nets

Electronic Communications of the EASST

Volumn 12, Issue , 2008, Pages

  Köhler, Michael ^a   Moldt, Daniel ^a  

^a UNIVERSITY OF HAMBURG   (Germany)

Author keywords

Linear invariants; Mobility; Nets within nets; Object nets

Indexed keywords

EID: 84879632219     PISSN: None     EISSN: 18632122     Source Type: Journal    
DOI: 10.14279/tuj.eceasst.12.231.264     Document Type: Article

References (24)

1. M. A. Bednarczyk, L. Bernardinello, W. Pawlowski, L. Pomello. Modelling mobility with Petri hypernets. In Fiadeiro et al. (eds.), Recent Trends in Algebraic Development Techniques (WADT 2004). Lecture Notes in Computer Science 3423, pp. 28-44. Springer-Verlag, 2004
2. N. Busi. Mobile nets. In Ciancarini et al. (eds.), Formal Methods for Open Object-Based Distributed Systems. Volume 139, pp. 51-66. Kluwer, 1999
3. L. Cardelli, A. D. Gordon, G. Ghelli. Ambient groups and mobility types. Technical report, Microsoft Research and University of Pisa, 2000
4. K. Hoffmann, H. Ehrig, T. Mossakowski. High-Level Nets with Nets and Rules as Tokens. In Application and Theory of Petri Nets and Other Models of Concurrency. Lecture Notes in Computer Science 3536, pp. 268-288. Springer-Verlag, 2005
5. K. Hiraishi. PN2: An Elementary Model for Design and Analysis of Multi-agent Systems. In Arbab and Talcott (eds.), Coordination Models and Languages, COORDINATION 2002. Lecture Notes in Computer Science 2315, pp. 220-235. Springer-Verlag, 2002
6. M. Köhler, B. Farwer. Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets. Fundamenta Informaticae 72(1-3):109-122, 2006
7. M. Köhler, B. Farwer. Object Nets for Mobility. In Kleijn and Yakovlev (eds.), International Conference on Application and Theory of Petri Nets 2007. Lecture Notes in Computer Science 4546, pp. 244-262. Springer-Verlag, 2007
8. M. Köhler, D. Moldt, H. Rölke. Modeling the Behaviour of Petri Net Agents. In Colom and Koutny (eds.), International Conference on Application and Theory of Petri Nets. Lecture Notes in Computer Science 2075, pp. 224-241. Springer-Verlag, 2001
9. M. Köhler, D. Moldt, H. Rölke. Modelling Mobility and Mobile Agents using Nets within Nets. In Aalst and Best (eds.), International Conference on Application and Theory of Petri Nets 2003. Lecture Notes in Computer Science 2679, pp. 121-140. Springer-Verlag, 2003
10. M. Köhler. The Reachability Problem for Object Nets. In Moldt (ed.), Proceedings of the Workshop on Modelling, object, components, and agents (MOCA'06). University of Hamburg, Department for Computer Science, 2006
11. M. Köhler. Reachable Markings of Object Petri Nets. Fundamenta Informaticae 79(3-4):401-413, 2007
12. M. Köhler-Bußmeier. Hornets: Nets within Nets combined with Net Algebra. In Wolf and Franceschinis (eds.), International Conference on Application and Theory of Petri Nets (ICATPN'2009). Lecture Notes in Computer Science. Springer-Verlag, 2009
13. M. Köhler, H. Rölke. Concurrency for Mobile Object-Net Systems. Fundamenta Informaticae 54(2-3), 2003
14. M. Köhler, H. Rölke. Properties of Object Petri Nets. In Cortadella and Reisig (eds.), International Conference on Application and Theory of Petri Nets 2004. Lecture Notes in Computer Science 3099, pp. 278-297. Springer-Verlag, 2004
15. C. Lakos. A Petri Net View of Mobility. In Formal Techniques for Networked and Distributed Systems (FORTE 2005). Lecture Notes in Computer Science 3731, pp. 174-188. Springer-Verlag, 2005
16. K. Lautenbach. Linear algebraic techniques for place/transition nets. In Brauer et al. (eds.), Petri Nets: Central Models and their Properties. Advances in Petri Nets 1986. Lecture Notes in Computer Science 254, pp. 142-167. Springer-Verlag, 1987
17. I. A. Lomazova. Nested Petri Nets-a Formalism for Specification of Multi-agent distributed systems. Fundamenta Informaticae 43(1-4):195-214, 2000
18. R. Milner, J. Parrow, D. Walker. A calculus of mobile processes, parts 1-2. Information and computation 100(1):1-77, 1992
19. M. Silva, E. Teruel, J. M. Colom. Linear Algebraic and Linear Programming Techniques for the Analysis of Place/Transition Net Systems. In Reisig and Rozenberg (eds.), Lecture Notes in Computer Science: Lectures on Petri Nets I: Basic Models. Advances in Petri Nets 1491, pp. 309-373. Springer-Verlag, 1998
20. R. Valk. Modelling Concurrency by Task/Flow EN Systems. In 3rd Workshop on Concurrency and Compositionality. GMD-Studien 191. Gesellschaft für Mathematik und Datenverarbeitung, St. Augustin, Bonn, 1991
21. R. Valk. Petri Nets as Token Objects: An Introduction to Elementary Object Nets. In Desel and Silva (eds.), Application and Theory of Petri Nets. Lecture Notes in Computer Science 1420, pp. 1-25. 1998
22. R. Valk. Object Petri nets: Using the nets-within-nets paradigm. In Desel et al. (eds.), Advanced Course on Petri Nets 2003. Lecture Notes in Computer Science 3098, pp. 819-848. Springer-Verlag, 2003
23. J. Vitek, G. Castagna. Seal: A Framework for Secure Mobile Computations. In ICCL Workshop: Internet Programming Languages. Pp. 47-77. 1998
24. D. Xu, Y. Deng. Modeling Mobile Agent Systems with High Level Petri Nets. In IEEE International Conference on Systems, Man, and Cybernetics'2000. 2000