Modelling and Analysis of Mobile Computing Systems: An Extended Petri Nets Formalism
Keywords:Petri Nets, Dynamic Petri Nets, Mobile Computing Systems, Extended Petri Nets.
In its basic version, Petri Nets are defined as fixed graphs, where the behaviour of the system is modelled as the marking of the graph which changes over time. This constraint makes the Petri Nets a poor tool to deal with reconfigurable systems as mobile computing systems, where the structure of the system can change as its behaviour, during time. Many extended Petri nets were proposed to deal with this weakness. The aim of this work is to present a new extension of Petri Nets, where the structure of the graph can be highly flexible. This flexibility gives a rich model with complex behaviours, not allowed in previous extensions. The second aim is to prove that even these behaviours are so complex; they can be translated into other low level models (as Coloured Petri Nets ) and so be analysed. This translation exploits Dynamic Petri Nets  as an intermediary representation between our model and Coloured Petri Nets.
D. Sangiorgi and D. Walker, The Ï€-Calculus: A Theory of Mobile Processes, Cambridge University Press, 2001.
F. CÃ©dric, G. Gonthier, The Join Calculus: a Language for Distributed Mobile Programming, in Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 2000, LNCS 2395, (August 2002), 268-332.
J.C.M. Baeten, Over 30 years of process algebra: Past, present and future, in L. Aceto, Z. Â´Esik, W.J. Fokkink, and A. Ingâ€™olfsdâ€™ottir, editors, Process Algebra: Open Problems and Future Directions, volume NS-03-3 of BRICS Notes Series, (2003), 712.
F. CÃ©dric, G. Gonthier, J. J. LÃ©vy, L. Maranget, D. Râ€™emy, A calculus of mobile agents, in Proc. 7th International Conference on Concurrency Theory (CONCUR'96), (1996) 406-421.
E. Badouel, O. Javier, Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes within Workflow Systems, Rapports de recherche INRIA, ISSN 0249-6399, 1998.
A. Asperti, N. Busi, Mobile Petri Nets, Technical Report UBLCS-96-10, Department of Computer Science University of Bologna, May 1996. In the Mathematical Structures in Computer Science journal 19 (6): 1265-1278 (2009).
R. Valk, Petri Nets as Token Objects: An Introduction to Elementary Object Nets, in: Applications and Theory of Petri Nets 1998, LNCS vol.1420, (1998) 1-25.
I.A. Lomazova, Nested Petri Nets, Multi-level and Recursive Systems, Fundamenta Informaticae, vol. 47, issue 3, IOS Press. (2001) 283-293.
M. A. Bednarczyk, L. Bernardinello, W. Pawlowski, L. Pomello, Modelling Mobility with Petri Hypernets, in the 17th Int. Conf. on Recent Trends in Algebraic Development Techniques, WADT'04. LNCS vol. 3423, 2004.
F. Rosa-Velardo, O.M. Alonso, D. F. Escrig, Mobile Synchronizing Petri Nets: a choreographic approach for coordination in Ubiquitous Systems, in 1st Int. Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems, MTCoord'05. ENTCS 150, (2005).
Dianxiang Xu, Yi Deng, Modeling Mobile Agent Systems with High Level Petri Nets, in IEEE International Conference on Systems, Man, and Cybernetics, Volume: 5, 2000, 3177-3182.
S. Gilmore, J. Hillston, L. Kloul, M. Ribaudo, PEPA nets: a structured performance modelling formalism, in Performance Evaluation, volume 54, issue 2, (October 2003), 79-104. http://dx.doi.org/10.1016/S0166-5316(03)00069-5
C.A. Petri, KommuniKation mit Automaten, Schriften des IIM Nr.2, Institut fr Instrumentelle Mathematik, Bonn (1962). English translation: Technical Report RADC-TR-65-377, Griffiths Air Force Base, New York, vol. 1, suppl. 1, 1966.
R. Valk, Self Modifying Nets, A Natural Extension of Petri Nets, in: Proceeding of ICALP'78, Lecture Notes in Computer Science, vol. 62, (1978), 464-476.
M. Khler, D. Moldt, H. Rlke, Modelling mobility and mobile agents using nets within nets, in W. van der Aalst and E. Best, editors, Applications and Theory of Petri Nets 2003, Proceeding, volume 2679 of LNCS, (2003), 121139
R. Valk, Object Petri nets: Using the nets-within-nets paradigm, in Jrg Desel, Wolfgang Reisig, and Grzegorz Rozenberg, editors, Advances in Petri Nets: Lectures on Concurrency and Petri Nets, volume 3098 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, Heidelberg, New York, (2004), 819-848.
K. Jensen, An Introduction to the Theoretical Aspects of Coloured Petri Nets, in J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.), A Decade of Concurrency, Lecture Notes in Computer Science vol. 803, Springer-Verlag, Berlin/Heidelberg, 1994, 230-272. http://dx.doi.org/10.1007/3-540-58043-3_21
Many tools can be downloaded from this web site: http://www.informatik.unihamburg.de/TGI/PetriNets/tools/quick.html.
M. Buscemi, V. Sassone, High-Level Petri Nets as Type Theories in the Join Calculus, in Proc. of Foundations of Software Science and Computation Structure (FoSSaCS '01), LNCS 2030, (2001).
F. Rosa-Velardo, Coding Mobile Synchronizing Petri Nets into Rewriting Logic, in Electronic Notes in Theoretical Computer science. Vol 174, Issue 1, Elsevier, (2007), 83-98.
M. Clavel, F. Durn, S. Eker, P. Lincoln, N. Mart-Oliet, J. Meseguer, J. Quesada, Maude: specification and programming in rewriting logic, in SRI International, Januray 1999, http://maude.csl.sri.com.
J. Meseguer, Conditional rewriting logic as a unified model of concurrency, in: Theoretical Computer Science, 96 (1), (1992) 73-155. http://dx.doi.org/10.1016/0304-3975(92)90182-F
L. Kahloul, A. Chaoui, Code mobility modeling: a temporal labelled reconfigurable nets, in the Proceedings of the 1st International Conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications, MOBILWARE 2008, Innsbruck, Austria, February 13 - 15, 2008. ACM International Conference Proceeding Series 278, 2008, ISBN 978-1-59593-984-5.
L. Kahloul, A. Chaoui, Coloured Reconfigurable Nets for Code Mobility Modeling, in: the International Journal of Computers, Communications and Control, ISSN 1841-9836, E-ISSN 1841-9844. Vol. III (2008), Suppl. issue: Proceedings of ICCCC, (2008) 358-363.
L. Kahloul, A. Chaoui, LRN/R-maude based approach for modeling and simulation of mobile code systems, in: Ubiquitous Computing and Communication Journal (UbiCC journal), Volume 3 Number 6, 12/20/2008. http://www.ubicc.org/search advanced.aspx.
CPN-tool can be downloaded (free for academics) from: http://wiki.daimi.au.dk/cpntools/cpntools.wiki.
ONLINE OPEN ACCES: Acces to full text of each article and each issue are allowed for free in respect of Attribution-NonCommercial 4.0 International (CC BY-NC 4.0.
You are free to:
-Share: copy and redistribute the material in any medium or format;
-Adapt: remix, transform, and build upon the material.
The licensor cannot revoke these freedoms as long as you follow the license terms.
DISCLAIMER: The author(s) of each article appearing in International Journal of Computers Communications & Control is/are solely responsible for the content thereof; the publication of an article shall not constitute or be deemed to constitute any representation by the Editors or Agora University Press that the data presented therein are original, correct or sufficient to support the conclusions reached or that the experiment design or methodology is adequate.