Replicated Ubiquitous Nets

  • Fernando Rosa-Velardo
  • David de Frutos-Escrig
  • Olga Marroquín-Alonso
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3983)


In this paper we extend our basic model of Ubiquitous Nets, by adding a replication operator that creates new copies of the net firing the replicating transition. We prove that the location attribute and thus the mobility feature are not essential characteristics of the obtained model, since it is equivalent to the particular case of Centralized Systems, where all components are stationary and co-located in a single location. This allows us to restrict ourselves to Centralized Systems when studying the decidability of reachability and coverability properties. In this way, we prove that both reachability and coverability remain decidable. Finally, we introduce an alternative version that includes a garbage collection mechanism that allows us to remove empty nets from the state of the system. We show that in this case coverability remains decidable.


Centralize System Garbage Collection Movement Transition Autonomous Transition Replication Operator 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  2. 2.
    Cheverst, K., Dix, A., Fitton, D., Rouncefield, M.: ‘Out To Lunch’: Exploring the Sharing of Personal Context through Office Door Displays. In: Proceedings of the Australasian Computer-Human Conference-OzCHI 2003, pp. 74–83 (2003)Google Scholar
  3. 3.
    Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: The Maude 2.0 System. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol. 2706, pp. 76–87. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  4. 4.
    Desel, J., Reisig, W.: Place/transition petri nets. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 122–173. Springer, Heidelberg (1998)Google Scholar
  5. 5.
    Frutos Escrig, D., Marroquín Alonso, O., Rosa Velardo, F.: Ubiquitous Systems and Petri Nets. In: Ubiquitous Web Systems and Intelligence. LNCS, vol. 3841. Springer, Heidelberg (2005)Google Scholar
  6. 6.
    Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. In: Basic Concepts. Monographs in Theoretical Computer Science, vol. 1. Springer, Heidelberg (1997) 2nd corrected printing 1997, ISBN: 3-540-60943-1Google Scholar
  7. 7.
    Milner, R., Parrow, J., Walder, D.: A Calculus of Mobile Processes I. Information and Computation 100(1), 1–40 (1992)zbMATHCrossRefMathSciNetGoogle Scholar
  8. 8.
    Milner, R.: Theories for the global ubiquitous computer. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol. 2987, pp. 5–11. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  9. 9.
    Reutenauer, C.: The Mathematics of Petri Nets. Masson and Prentice Hall, Englewood Cliffs (1990)zbMATHGoogle Scholar
  10. 10.
    Rosa Velardo, F., Frutos Escrig, D., Marroquín Alonso, O.: 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 2005. ENTCS (2005) (to appear)Google Scholar
  11. 11.
    Rosa Velardo, F., Frutos Escrig, D., Marroquín Alonso, O.: On the expressiveness of Mobile Synchronizing Petri Nets. In: 3rd International Workshop on Security Issues in Concurrency, SecCo 2005. ENTCS (2005) (to appear)Google Scholar
  12. 12.
    Want, R.: Enabling Ubiquitous Sensing with RFID. Computer 37(4), 84–86 (2004)CrossRefGoogle Scholar
  13. 13.
    Weiser, M.: Some Computer Science Issues in Ubiquitous Computing. Comm. of the ACM 36(7), 74–84 (1993)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Fernando Rosa-Velardo
    • 1
  • David de Frutos-Escrig
    • 1
  • Olga Marroquín-Alonso
    • 1
  1. 1.Dpto. de Sistemas Informáticos y ProgramaciónUniversidad Complutense de Madrid 

Personalised recommendations