Ubiquitous systems and Petri nets

Lecture Notes in Computer Science

Volumn 3481, Issue II, 2005, Pages 1156-1166

  De Frutos Escrig, David ^a   Alonso, Olga Marroquín ^a   Velardo, Fernando Rosa ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; COMPUTER SOFTWARE; INTERNET; MATHEMATICAL MODELS; MIDDLEWARE; NETWORK PROTOCOLS; PETRI NETS;

COMPONENT COMPATIBILITY; POPULARIZATION; PROCESSOR NETS; UBIQUITOUS SYSTEMS;

MOBILE COMPUTING;

EID: 24944567460     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11424826_123     Document Type: Conference Paper

References (12)

1. L. Cardelli. Mobility and Security. Proceedings of the NATO Advanced Study Institute on Foundations of Secure Computation, pp.3-37. IOS Press, 2000.
2. K. Cheverst, A. Dix, D. Fitton and M. Rouncefield. 'Out To Lunch': Exploring the Sharing of Personal Context through Office Door Displays. Proceedings of the Australasian Computer-Human Conference-OzCHI 2003, pp.74-83. 2003.
3. D. Frutos Escrig and O. Marroquín Alonso. Ambient Petri Nets. Foundations of Global Computing 2003, ENTCS vol.85, 27 pp. Elsevier Science, 2003.
4. D. Frutos Escrig and O. Marroquín Alonso. Replicated Ambient Petri Nets. Computational Science-ICCS 2003, LNCS vol.2658, pp.774-783. Springer-Verlag, 2003.
5. I.A. Lomazova. Nested Petri Nets; Multi-level and Recursive Systems. Fundamenta Informaticae vol.47, pp.283-293. IOS Press, 2002.
6. I.A. Lomazova. Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets. Fundamenta Informaticae vol.51, pp.121-133. IOS Press, 2002.
7. R. Milner. Theories for the Global Ubiquitous Computer. Foundations of Software Science and Computation Structures-FoSSaCS 2004, LNCS vol.2987, pp.5-11. Springer-Verlag, 2004.
8. R. Valk. Petri Nets as Token Objects: An Introduction to Elementary Object Nets. Applications and Theory of Petri Nets 1998, LNCS vol.1420, pp.1-25. Springer-Verlag, 1998.
9. R. Valk. Concurrency in Communicating Object Petri Nets. Concurrent Object-Oriented Programming and Petri Nets, LNCS vol.2001, pp.164-195. Springer-Verlag, 2001.
10. R. Want. Enabling Ubiquitous Sensing with RFID. Computer vol.37(4), pp.84-86. IEEE Computer Society Press, 2004.
11. M. Weiser. Some Computer Science Issues in Ubiquitous Computing. Communications of the ACM vol.36(7), pp.74-84. ACM Press, 1993.
12. M. Weiser. The Computer for the 21st Century. Proceedings of Human-computer Interaction: Toward the Year 2000, pp.933-940. Morgan Kaufmann Publishers Inc, 1995.