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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)
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)
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)
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)
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)
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
Milner, R., Parrow, J., Walder, D.: A Calculus of Mobile Processes I. Information and Computation 100(1), 1–40 (1992)
Milner, R.: Theories for the global ubiquitous computer. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol. 2987, pp. 5–11. Springer, Heidelberg (2004)
Reutenauer, C.: The Mathematics of Petri Nets. Masson and Prentice Hall, Englewood Cliffs (1990)
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)
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)
Want, R.: Enabling Ubiquitous Sensing with RFID. Computer 37(4), 84–86 (2004)
Weiser, M.: Some Computer Science Issues in Ubiquitous Computing. Comm. of the ACM 36(7), 74–84 (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)