Skip to main content
SpringerLink
Log in
Book cover

International Conference on Computational Science and Its Applications

ICCSA 2006: Computational Science and Its Applications - ICCSA 2006 pp 158–168Cite as

Replicated Ubiquitous Nets

  • Conference paper

  • 780 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3983))

Abstract

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.

Work partially supported by the Spanish projects MIDAS TIC 2003-01000 and MASTER TIC 2003-07848-C02-01.

This is a preview of subscription content, 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   139.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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. 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. 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-1

    Google Scholar 

  7. Milner, R., Parrow, J., Walder, D.: A Calculus of Mobile Processes I. Information and Computation 100(1), 1–40 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  8. Milner, R.: Theories for the global ubiquitous computer. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol. 2987, pp. 5–11. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  9. Reutenauer, C.: The Mathematics of Petri Nets. Masson and Prentice Hall, Englewood Cliffs (1990)

    MATH  Google Scholar 

  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. 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. Want, R.: Enabling Ubiquitous Sensing with RFID. Computer 37(4), 84–86 (2004)

    Article  Google Scholar 

  13. Weiser, M.: Some Computer Science Issues in Ubiquitous Computing. Comm. of the ACM 36(7), 74–84 (1993)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dpto. de Sistemas Informáticos y Programación, Universidad Complutense de Madrid,  

    Fernando Rosa-Velardo, David de Frutos-Escrig & Olga Marroquín-Alonso

Authors
  1. Fernando Rosa-Velardo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. David de Frutos-Escrig
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Olga Marroquín-Alonso
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Calgary, 2500 University Drive N.W., T2N 1N4, Calgary, AB, Canada

    Marina L. Gavrilova

  2. Department of Mathematics and Computer Science, University of Perugia, via Vanvitelli, 1, I-06123, Perugia, Italy

    Osvaldo Gervasi

  3. William Norris Professor, Head of the Computer Science and Engineering Department, University of Minnesota, USA

    Vipin Kumar

  4. OptimaNumerics Ltd.,, Cathedral House 23-31 Waring Street, BT1 2DX, Belfast, UK

    C. J. Kenneth Tan

  5. Clayton School of IT, Monash University, 3800, Clayton, Australia

    David Taniar

  6. Department of Chemistry, University of Perugia, Via Elce di Sotto, 8, I-06123, Perugia, Italy

    Antonio Laganá

  7. School of Computing, Soongsil University, Seoul, Korea

    Youngsong Mun

  8. School of Information and Communication Engineering, Sungkyunkwan University, Korea

    Hyunseung Choo

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Rosa-Velardo, F., de Frutos-Escrig, D., Marroquín-Alonso, O. (2006). Replicated Ubiquitous Nets. In: Gavrilova, M.L., et al. Computational Science and Its Applications - ICCSA 2006. ICCSA 2006. Lecture Notes in Computer Science, vol 3983. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11751632_17

Download citation

  • DOI: https://doi.org/10.1007/11751632_17

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-34077-5

  • Online ISBN: 978-3-540-34078-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation