Please use this identifier to cite or link to this item:
https://hdl.handle.net/2440/59596
Citations | ||
Scopus | Web of Science® | Altmetric |
---|---|---|
?
|
?
|
Type: | Journal article |
Title: | Modelling mobile IP with mobile petri nets |
Author: | Lakos, C. |
Citation: | Lecture Notes in Artificial Intelligence, 2009; 5800 LNCS:127-158 |
Publisher: | Springer-Verlag Berlin |
Issue Date: | 2009 |
ISSN: | 0302-9743 1611-3349 |
Editor: | Jensen, K. Billington, J. Koutny, M. |
Statement of Responsibility: | Charles 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. It may be necessary or desirable to move the subsystem close to the other in order to communicate. Alternatively, the method of communication may vary depending on proximity. This paper reviews a Petri Net formalisation for mobile systems which is intended to harness the intuitive graphical representation of Petri Nets and the long history of associated analysis techniques. The main contribution of the current paper is to assess the above formalism by using it to model and simulate Mobile IP, an Internet standard which caters for mobile nodes using IP version 4 addresses. These addresses indicate a fixed point of attachment to the Internet and the protocol caters for nodes being away from home. By defining the model as a Mobile Petri Net, the graphical notation helps to convey the flow of information, and the executable nature of the model opens the way to simulation, state space exploration and model checking. © 2009 Springer-Verlag Berlin Heidelberg. |
Description: | Also cited as: Transactions on Petri Nets and other models of concurrency III / Kurt Jensen, Jonathan Billington and Maciej Koutny (eds.), pp.127-158 |
Rights: | © Springer-Verlag Berlin Heidelberg 2009 |
DOI: | 10.1007/978-3-642-04856-2_6 |
Published version: | http://dx.doi.org/10.1007/978-3-642-04856-2_6 |
Appears in Collections: | Aurora harvest 5 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.