Please use this identifier to cite or link to this item: https://hdl.handle.net/2440/29549
Citations
Scopus Web of ScienceĀ® Altmetric
?
?
Type: Conference paper
Title: A Petri Net view of mobility
Author: Lakos, C.
Citation: Lecture Notes in Computer Science, 2005; 3731 : pp. 174-188
Part of: Proceedings of the 25th IFIP WG 6.1 International Conference: 'Formal Techniques for Networked and Distributed Systems - FORTE 2005'
Publisher: International Federation for Information Processing
Publisher Place: Laxenberg, Austria
Issue Date: 2005
ISBN: 9783540291893
ISSN: 0302-9743
1611-3349
Conference Name: IFIP WG 6.1 International Conference: 'Formal Techniques for Networked and Distributed Systems - FORTE 2005' (25th : 2 October 2005 : Taipei, Taiwan)
Editor: Wang, F.
Statement of
Responsibility: 
Charles A. Lakos
Abstract: Mobile systems explore the interplay between locality and connectivity. A subsystem may have a connection to a remote subsystem and use this for communication. Alternatively, it may be necessary or desirable to move the subsystem close to the other in order to communicate. This paper presents a Petri Net formalisation of mobile systems so as to harness the intuitive graphical representation of Petri Nets and the long history of associated analysis techniques. The proposed formalism starts with modular Petri Nets, where a net is divided into modules which can interact via place and transition fusion. The first change is that the flat module structure is replaced by fully nested modules, called locations. The nesting of locations provides a notion of locality while their fusion context determines their connectivity. The transitions constituting a location are constrained so that we can determine when a location is occupied by a subsystem, and when the subsystem shifts from one location to another. The colourless version of the formalism is conceptually simpler, while the coloured version caters for more dynamic configurations and helps identify isolated subsystems for which garbage collection may be appropriate.
DOI: 10.1007/11562436_14
Appears in Collections:Aurora harvest 2
Computer Science publications

Files in This Item:
There are no files associated with this item.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.