Mobile synchronizing Petri Nets: A choreographic approach for coordination in ubiquitous systems

Electronic Notes in Theoretical Computer Science

Volumn 150, Issue 1, 2006, Pages 103-126

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

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

Mobility; Petri nets; Security; Specifications; Ubiquitous Computing

Indexed keywords

COMPUTER SCIENCE; MATHEMATICAL MODELS; SECURITY OF DATA; SPECIFICATIONS;

MOBILITY; SECURITY SPECIFICATIONS; UBIQUITOUS COMPUTING;

PETRI NETS;

EID: 33644498859     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.12.026     Document Type: Conference Paper

References (20)

1. A. Asperti, and N. Busi Mobile Petri Nets. Technical Report UBLCS-96-10, University of Bologna, 1996
2. E. Best, R. Devillers, and M. Koutny Petri Net Algebra EATCS Monographs on Theoretical Computer Science Series 2001 Springer-Verlag
3. L. Cardelli, and A.D. Gordon Mobile ambients Foundations of Software Science and Computation Structures: First International Conference FOSSACS '98 LNCS volume 1378 1998 Springer 140 155
4. L. Cardelli Mobility and Security Proceedings of the NATO Advanced Study Institute on Foundations of Secure Computation 2000 IOS Press 3 37
5. L. Cardelli, G. Ghelli, and A.D. Gordon Types for the ambient calculus Inf. Comput. 177 2 2002 160 194
6. Jörg Desel, and Wolfgang Reisig Place/transition petri nets Lectures on Petri Nets I: Basic Models LNCS vol. 1491 1998 Springer-Verlag 122 173
7. R. Devillers, H. Klaudel, and M. Koutny Petri Net Semantics of the Finite pi-Calculus Formal Techniques for Networked and Distributed Systems - FORTE 2004 LNCS vol. 3235 2004 Springer-Verlag 309 325
8. D. Frutos Escrig, and O. Marroquín Alonso Replicated Ambient Petri Nets Computational Science-ICCS 2003 LNCS vol. 2658 2003 Springer-Verlag 774 783
9. D. Frutos Escrig, and O. Marroquín Alonso Ambient Petri nets Foundations of Global Computing FGC'03 ENTCS 85 2003 Elsevier
10. D. Frutos Escrig, O. Marroquín Alonso, and F. Rosa Velardo Ubiquitous Systems and Petri Nets Ubiquitous Web Systems and Intelligence LNCS vol. 3481 2005 Springer-Verlag 1156 1166
11. N. Busi, and R. Gorrieri A Petri Net Semantics for pi-Calculus Concurrency Theory, 6th International Conference CONCUR'95 LNCS vol. 962 1995 Springer-Verlag 145 159
12. M. Hennessy, and J. Riely Resource access control in systems of mobile agents High-Level Concurrent Languages HLCL'98 ENTCS 16 1998 3 17 Elsevier
13. K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts. Monographs in Theoretical Computer Science, Springer-Verlag, 2nd corrected printing 1997. ISBN: 3-540-60943-1
14. I.A. Lomazova Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets Fundamenta Informaticae vol. 51 2002 IOS Press 121 133
15. R. Milner Theories for the Global Ubiquitous Computer Foundations of Software Science and Computation Structures-FoSSaCS 2004 LNCS vol. 2987 2004 Springer-Verlag 5 11
16. F. Rosa Velardo, D. de Frutos Escrig, O. Marroquín-Alonso. On the expressiveness of Mobile Synchronizing Petri Nets. (submitted)
17. D. Taubner Representing CCS Programs by Finite Predicate/Transition Nets Acta Informatica 27 6 1989 533 565 Springer-Verlag
18. R. Valk Concurrency in Communicating Object Petri Nets Concurrent Object-Oriented Programming and Petri Nets LNCS vol. 2001 2001 Springer-Verlag 164 195
19. M. Weiser Some Computer Science Issues in Ubiquitous Computing Comm. of the ACM 36 7 1993 74 84 ACM Press
20. M. Weiser The Computer for the 21st Century Proceedings of Human-computer Interaction: Toward the Year 2000 1995 Morgan Kaufmann Publishers Inc. 933 940