Skip to main content
SpringerLink
Log in

Modeling and Analysis of Reconfigurable Systems Using Flexible Nets

  • Conference paper
Networked Digital Technologies (NDT 2010)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 87))

Included in the following conference series:

Abstract

Reconfigurable systems, with dynamic structure at runtime, know a large usage in mobile code systems and mobile networks. Developing these systems and ensuring there correction can require the exploitation of formal tools. Petri Nets were well used in modeling and verification of these systems. High Level Petri Nets were proposed to model some aspects of these systems. In this paper, we propose a new formalism “Flexible Nets” with a high level dynamicity. This formalism will allow an easy and intuitive modeling of reconfigurable systems. The expressive power of the current formalism is due to the feature that all constituents of the net’s structure can be added or deleted during the execution of the net. This paper presents the formal definition of the formalism, gives an example on mobile code systems, and discusses some analysis issues of the current formalism.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Information and Computation 100(1), 1–40 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  2. Milner, R.: A Calculus of Communication Systems. LNCS, vol. 92. Springer, Heidelberg (1980)

    Google Scholar 

  3. Badouel, E., Javier, O.: Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes within Workflow Systems. Research report INRIA (1998) ISSN 0249-6399

    Google Scholar 

  4. Fournet, C., Gonthier, G.: The Join Calculus: A Language for Distributed Mobile Programming. In: Barthe, G., Dybjer, P., Pinto, L., Saraiva, J. (eds.) APPSEM 2000. LNCS, vol. 2395, pp. 268–332. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  5. Asperti, A., Busi, N.: Mobile Petri Nets. Mathematical Structures in Computer Science 19(6), 1265–1278 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  6. Valk, R.: Petri Nets as Token Objects: An Introduction to Elementary Object Nets. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol. 1420, pp. 1–25. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  7. Buscemi, M., Sassone, V.: High-Level Petri Nets as Type Theories in the Join Calculus. In: Honsell, F., Miculan, M. (eds.) FOSSACS 2001. LNCS, vol. 2030, pp. 104–120. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  8. Lomazova, I.A.: Nested Petri Nets; Multi-level and Recursive Systems. Fundamenta Informaticae 47, 283–293

    Google Scholar 

  9. Bednarczyk, M.A., Bernardinello, L., Pawlowski, W., Pomello, L.: Modelling Mobility with Petri Hypernets. In: Fiadeiro, J.L., Mosses, P.D., Orejas, F. (eds.) WADT 2004. LNCS, vol. 3423, pp. 28–44. Springer, Heidelberg (2005)

    Google Scholar 

  10. Rosa-Velardo, F., Marroqn Alonso, O., Frutos Escrig, D.: 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, vol. 150 (2005)

    Google Scholar 

  11. Knapp, A., Merz, S., Wirsing, M., Zappe, J.: Specification and refinement of mobile systems in MTLA and mobile UML. Theoretical Computer Science 351, 184–202 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  12. Fuggetta, A., Picco, G.P., Vigna, G.: Understanding Code Mobility. IEEE transactions on software engineering 24(5) (May 1998)

    Google Scholar 

  13. Aitenbichler, E., Kangasharju, J., Muhlhauser, M.: MundoCoreA: Light-weight Infrastructure for Pervasive Computing. Pervasive and Mobile Computing 3(4), 332–361 (2008)

    Article  Google Scholar 

  14. Bellavista, P., Corradi, A., Foschini, L.: Context-Aware Handoff Middleware for Transparent Service Continuity in Wireless Networks. Pervasive and Mobile Computing 3(4), 439–466 (2008)

    Article  Google Scholar 

  15. Baousis, V., Kyriakakos, M., Hadjiefthymiades, S., Merakos, L.: Performance evaluation of a mobile agent-based platform for ubiquitous service provision. Pervasive and Mobile Computing 4, 755–774 (2008)

    Article  Google Scholar 

  16. Kahloul, L., Chaoui, A.: Code Mobility Modeling.: A Temporal Labeled Reconfigurable Nets. In: The 1st International Conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications, Innsbruck, Austria, February 14 (2008)

    Google Scholar 

  17. Kahloul, L., Chaoui, A.: Coloured reconfigurable nets for code mobility modeling. In: Int. J. of Computers, Communications & Control, Proceedings of ICCCC 2008, vol. III(suppl.), pp. 358–363 (2008) ISSN 1841-9836, E-ISSN 1841-9844

    Google Scholar 

  18. Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use: Basic Concepts. In: Monographs in Theoretical Computer Science, 2nd corrected printing 1997, vol. 1. Springer, Heidelberg (1997) ISBN: 3-540-60943-1

    Google Scholar 

  19. Xu, D., Deng, Y.: Modeling Mobile Agent Systems with High Level Petri Nets. In: IEEE International Conference on Systems, Man, and Cybernetics, vol. 5, pp. 3177–3182 (2000)

    Google Scholar 

  20. van Hee, K.M., Lomazova, I.A., Oanea, O., Serebrenik, A., Sidorova, N., Voorhoeve, M.: Nested Nets for Adaptive Systems. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 241–260. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  21. Gilmore, S., Hillston, J., Kloul, L., Ribaudo, M.: PEPA nets: A structured performance modelling formalism. Performance Evaluation 54(2), 79–104 (2003)

    Article  Google Scholar 

  22. Cervesato, I.: Petri Nets and Linear Logic: A case study for logic programming. In: The Joint Conference on Declarative Programming, Italy, September 11-14, pp. 313–318 (1995)

    Google Scholar 

  23. Rosa-Velardo, F.: Coding Mobile Synchronizing Petri Nets into Rewriting Logic. Electronic Notes in Theoretical Computer science 174(1), 83–98 (2007)

    Article  Google Scholar 

  24. Buscemi, M.G., Sassone, V.: High-Level Petri Nets as Type Theories in the Join Calculus. In: Honsell, F., Miculan, M. (eds.) FOSSACS 2001. LNCS, vol. 2030, p. 104. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  25. Agrawal, D.P., Zeng, Q.A.: Introduction to Wireless and Mobile Systems. Brooks/Cole, Monterey (2003)

    Google Scholar 

  26. Siegwart, R., Nourbakhsh, I.R.: Introduction to Autonomous Mobile Robots. Bradford Book (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LISSI Laboratory, Paris Est University, Paris, France

    Laid Kahloul

  2. Computer Science Departement, Biskra University, Algeria

    Laid Kahloul & Karim Djouani

  3. Computer Science Department, Constantine University, Algeria

    Allaoua Chaoui

  4. F’SATI at TUT, Pretoria, South Africa

    Karim Djouani

Authors
  1. Laid Kahloul
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Allaoua Chaoui
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Karim Djouani
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Software Engineering, Charles University in Prague, Malostranske namesti 25, 118 00, Prague, Czech Republic

    Filip Zavoral

  2. Charles University, Prague, Czech Republic

    Jakub Yaghob

  3. Al Imam University, Riyadh, Saudi Arabia

    Pit Pichappan

  4. Jordan University of Science and Technology, Irbid, Jordan

    Eyas El-Qawasmeh

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kahloul, L., Chaoui, A., Djouani, K. (2010). Modeling and Analysis of Reconfigurable Systems Using Flexible Nets. In: Zavoral, F., Yaghob, J., Pichappan, P., El-Qawasmeh, E. (eds) Networked Digital Technologies. NDT 2010. Communications in Computer and Information Science, vol 87. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14292-5_36

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-14292-5_36

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-14291-8

  • Online ISBN: 978-3-642-14292-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation