Modelling mobile IP with mobile petri nets
Date
2009
Authors
Lakos, C.
Editors
Jensen, K.
Billington, J.
Koutny, M.
Billington, J.
Koutny, M.
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Journal article
Citation
Lecture Notes in Artificial Intelligence, 2009; 5800 LNCS:127-158
Statement of Responsibility
Charles Lakos
Conference Name
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.
School/Discipline
Dissertation Note
Provenance
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
Access Status
Rights
© Springer-Verlag Berlin Heidelberg 2009