Modelling and Analysis of Mobile Computing Systems: An Extended Petri Nets Formalism

Authors

  • Laid Kahloul Computer Science Department, Biskra University
  • Allaoua Chaoui Computer Science Department, Constantine University
  • Karim Djouani LISSI Laboratory, Paris Est University, Paris, France.

Keywords:

Petri Nets, Dynamic Petri Nets, Mobile Computing Systems, Extended Petri Nets.

Abstract

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 [21]) and so be analysed. This translation exploits Dynamic Petri Nets [11] as an intermediary representation between our model and Coloured Petri Nets.

Author Biographies

Laid Kahloul, Computer Science Department, Biskra University

(b. September 22, 1978) received his Magister. in computing (2004) and PhD in Computer Sciences (2012) from University of Biskra, in Algeria. Now he
is professor of Computer Science at Computing Department, Faculty of Exact Sciences, University of Biskra, Algeria. His current research interests include different aspects of Software Engineering, Distributed Systems, and formal methods. He has published many papers in international conferences and in international journals.

Allaoua Chaoui, Computer Science Department, Constantine University

is with the department of computer science, Faculty of Engineering, University Mentouri Constantine, Algeria. He received his Master degree in Computer science in 1992 (in cooperation with the University of Glasgow, Scotland) and his PhD degree in 1998 from the University of Constantine (in cooperation with the CEDRIC Laboratory of CNAM in Paris, France). He has served as associate professor in Philadelphia University in Jordan for five years an

Karim Djouani, LISSI Laboratory, Paris Est University, Paris, France.

received his Eng. Degree from INES/Larbi Ben Mhidi University, Algeria in 1989, the DEA (Msc) degree and Doctorate (PhD) Degree from University Paris 12 and ESIEE-Paris in 1990 and 1994, respectively. In 2004, he received the HDR (Research Direction) in sciences from the same University. Actually he is full professor,
scientist and technical group supervisor of soft computing, robotics and telecommunication
and networking systems at the University Paris Est and the SCTIC team of the LISSI
lab, France. He was also national and European projects manager at the LISSI Lab.
Since July 2008 he is seconded by the French Ministry of Research and Education as full
professor at the French South African Technology Institute (FSATI) at Tshwane University
of Technology (TUT), Pretoria, South Africa. His current works focus on the development of novel and highly efficient algorithms for reasoning systems with uncertainty as well as optimization, distributed systems, networked control systems, wireless ad-hoc networks, wireless sensors networks and formal methods. Prof. Djouani is a Member of the IEEE,
Several French National Research Task Group (GDR-MACS, GDR-ISIS ) and FSATI Centre of Excellence in Telecommunication. He is also founding member of the Algerian Opensource and free software for research and Education (www.loasau-dz.org).

References

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.

Published

2015-02-15

Issue

Vol. 10 No. 2 (2015): International Journal of Computers Communications & Control (April)

Section

Articles

License

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.

Most read articles by the same author(s)

Obs.: This plugin requires at least one statistics/report plugin to be enabled. If your statistics plugins provide more than one metric then please also select a main metric on the admin's site settings page and/or on the journal manager's settings pages.