Object nets for mobility

Authors:
Michael Köhler;Berndt Farwer
Affiliations:
University of Hamburg, Department for Informatics;University of Durham, Department of Computer Science
Venue:
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Year:
2007

Citing 8
Cited 3

A calculus of mobile processes, II

Information and Computation
Nested petri nets - a formalism for specification and verification of multi-agent distributed systems

Fundamenta Informaticae - Special issue on Concurrency specification and programming (CS&P)
PN2: An Elementary Model for Design and Analysis of Multi-agent Systems

COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Concurrency in mobile object net systems

Fundamenta Informaticae - Concurrency specification and programming
Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets

Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Modelling mobility and mobile agents using nets within nets

ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Modelling mobility with petri hypernets

WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
A petri net view of mobility

FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems

Hornets: Nets within Nets Combined with Net Algebra

PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Nets-Within-Nets paradigm and grid computing

Transactions on Petri Nets and Other Models of Concurrency V
On Compositionality of Boundedness and Liveness for Nested Petri Nets

Fundamenta Informaticae - Concurrency Specification and Programming CS&P

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper studies mobile agents that act in a distributed name space. The difference between belonging to a name space (where objects can be accessed directly via pointers) and migrating between name spaces (where objects have to be treated as values, that can be copied into network messages) is taken account of by introducing Petri net based formalism, employing the nets-within-nets paradigm. This formalism, called mobile object nets, generalises the well-established theory of elementary object nets, which has seen many applications over the last decade. While mobile object nets provide a solution to the specific modelling problem mentioned above, they are much more generic and not restricted to this domain.