On the Expressiveness of Mobile Synchronizing Petri Nets

Electronic Notes in Theoretical Computer Science

Volumn 180, Issue 1, 2007, Pages 77-94

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

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

expressiveness; Mobility; Petri nets; security

Indexed keywords

AUTHENTICATION; MATHEMATICAL MODELS; MIDDLEWARE; MOBILE AGENTS; PROBLEM SOLVING; TURING MACHINES;

AMBIENT CALCULUS; EXPRESSIVENESS;

PETRI NETS;

EID: 34249812660     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.05.048     Document Type: Article

References (13)

1. Aziz Abdulla P., Cerans K., and Jonsson B. Algorithmic Analysis of Programs with Well Quasi-Ordered Domains. Inf. Comput. 160 1-2 (2000) 109-127
2. P. Aziz Abdulla, and A. Nylén. Better is Better than Well. LICS'00: 132-140, 2000
3. Desel J., and Reisig W. Place/transition petri nets. Lectures on Petri Nets I: Basic Models. LNCS vol. 1491 (1998), Springer-Verlag 122-173
4. D. Frutos Escrig, F. Cuartero Gómez, and V. Valero Ruiz. On non-decidability of reachability for timed-arc Petri Nets. PNPM'99. 1999
5. Frutos Escrig D., Marroquín Alonso O., and Rosa Velardo F. Ubiquitous Systems and Petri Nets. Ubiquitous Web Systems and Intelligence, co-located with ICCSA 2005. LNCS vol. 3841 (2005), Springer-Verlag
6. Jensen K. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use.. Volume 1. Basic Concepts. 2nd corrected printing. Monographs in Theoretical Computer Science (1997), Springer-Verlag. 3-540-60943-1
7. Milner E.C. Basic wqo- and bqo-theory. In: Rival I. (Ed). Graphs and Orders (1985) 487-502
8. Milner R. Theories for the Global Ubiquitous Computer. Foundations of Software Science and Computation Structures-FoSSaCS 2004. LNCS vol. 2987 (2004), Springer-Verlag 5-11
9. Reutenauer C. The Mathematics of Petri Nets (1990), Masson and Prentice Hall
10. F. Rosa Velardo, D. Frutos Escrig and O. Marroquín Alonso. Mobile Synchronizing Petri Nets: a choreographic approach for coordination in Ubiquitous Systems. In 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems, MTCoord'05. A Satellite Workshop of Coordination 2005. ENTCS (to appear)
11. Stajano F. Security for Ubiquitous Computing (2002), John Wiley and Sons
12. Weiser M. Some Computer Science Issues in Ubiquitous Computing. Comm. of the ACM 36 7 (1993) 74-84 ACM Press
13. Weiser M. The Computer for the 21st Century. Proceedings of Human-computer Interaction: Toward the Year 2000 (1995), Morgan Kaufmann Publishers Inc 933-940