Coding Mobile Synchronizing Petri Nets into Rewriting Logic

Electronic Notes in Theoretical Computer Science

Volumn 174, Issue 1, 2007, Pages 83-98

  Rosa Velardo, Fernando ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

Mobility; Petri nets; rewriting; security; specifications

Indexed keywords

DATA ACQUISITION; ENCODING (SYMBOLS); FORMAL LOGIC; MATHEMATICAL MODELS; MOBILE AGENTS; SYNCHRONIZATION;

MOBILE SYNCHRONIZING PETRI NETS (MSPN); REFLECTIVE FEATURES;

PETRI NETS;

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

References (20)

1. A. Asperti, and N. Busi. Mobile Petri Nets. Technical Report UBLCS-96-10, University of Bologna, 1996
2. Abdulla P.A., Collomb-Annichini A., Bouajjani A., and Jonsson B. Using forward reachability analysis for verification of lossy channel systems. Formal Methods in System Design 25 1 (2004) 39-65
3. Bednarczyk M.A., Bernardinello L., Pawlowski W., and Pomello L. Modelling Mobility with Petri Hypernets. 17th Int. Conf. on Recent Trends in Algebraic Development Techniques. WADT'04. LNCS vol. 3423 (2004), Springer-Verlag
4. Bouhoula A., Jouannaud J., and Meseguer J. Specification and proof in membership equational logic. Theoretical Computer Science 236 1-2 (2000) 35-132
5. Cardelli L. Abstractions for Mobile Computation. Secure Internet Progr., Security Issues for Mobile and Distributed Objects. LNCS vol. 1603 (1999), Springer-Verlag
6. Clavel M., Durán F., Eker S., Lincoln P., Martí-Oliet N., Meseguer J., and Talcott C. The Maude 2.0 System. Proc. Rewriting Techniques and Applications, 2003. LNCS vol. 2706 (2003), Springer-Verlag 76-87
7. Jensen K. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Basic Concepts. Monographs in Theoretical Computer Science Volume 1 (1997), Springer-Verlag. 3-540-60943-1 2nd corrected printing
8. Kummer O. Referenznetze (2002), Logos-Verlag
9. Lomazova I.A. Nested Petri Nets; Multi-level and Recursive Systems. Fundamenta Informaticae 47 (2002) 283-293 IOS Press
10. Martí-Oliet N., and Meseguer J. Rewriting logical as a logical and semantic framework. ENTCS 4 (2000)
11. Meseguer J., and Montanari U. Petri Nets are Monoids: a New Algebraic Foundation for Net Theory. Proc. 3rd Annual Symposium on Logic in Computer Science (1988), IEEE Comput. Soc. Press 155-164
12. 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
13. Ratzer A.V., Wells L., Lassen H.M., Laursen M., Qvortrup J.F., Stissing M.S., Westergaard M., Christensen S., and Jensen K. Tools for Editing, Simulating, and Analysing Coloured Petri Nets. Applications and Theory of Petri Nets. ICATPN 2003. LNCS vol. 2679 (2003), Springer-Verlag 450-462
14. F. Rosa Velardo, O. Marroquín Alonso and D. Frutos Escrig. 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'05. ENTCS, 150
15. F. Rosa Velardo, D. Frutos Escrig and O. Marroquín Alonso. On the expressiveness of Mobile Synchronizing Petri Nets. In 3rd International Workshop on Security Issues in Concurrency, SecCo'05. ENTCS (to appear). http://kimba.mat.ucm.es/~frosa
16. Stehr M., Meseguer J., and Ölveczky P.C. Rewriting Logic as a Unifying Framework for Petri Nets. Unifying Petri Nets, Advances in Petri Nets. LNCS vol. 2128 (2001), Springer-Verlag 250-303
17. Stehr M., Meseguer J., and Ölveczky P.C. Representation and Execution of Petri Nets Using Rewriting Logic as a Uniform Framework. Uniform Approaches to Graphical Process Specification Techniques, UNIGRA'01. ENTCS 44 (2001)
18. Thati P., Sen K., and Martí-Oliet N. An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0. ENTCS 71 (2002)
19. Valk R. Petri Nets as Token Objects: An Introduction to Elementary Object Nets. Applications and Theory of Petri Nets 1998. LNCS vol. 1420 (1998), Springer-Verlag 1-25
20. Verdejo A., and Martí-Oliet N. Implementing CCS in Maude 2. Electr. Notes Theor. Comput. Sci. 71 (2002)