A petri net translation of π-calculus terms

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4281 LNCS, Issue , 2006, Pages 138-152

  Devillers, Raymond ^a   Klaudel, Hanna ^b   Koutny, Maciej ^c  

^a UNIVERSITÉ LIBRE DE BRUXELLES   (Belgium)

^b UNIVERSITY OF EVRY   (France)

^c NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

Behavioural consistency; Compositional translation; Mobility; Petri nets; Process algebra; calculus

Indexed keywords

DIFFERENTIATION (CALCULUS); EQUIVALENCE CLASSES; LINEAR ALGEBRA; MATHEMATICAL MODELS; STRUCTURAL ANALYSIS;

BEHAVIOURAL CONSISTENCY; COMPOSITIONAL TRANSLATION; MOBILITY; PROCESS ALGEBRA;

PETRI NETS;

EID: 33845935312     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11921240_10     Document Type: Conference Paper

References (19)

1. Best, E., Devillers, R., Koutny, M.: Petri Net Algebra. EATCS Monographs on TCS, Springer (2001).
2. Best, E., Fraczak, W., Hopkins, R.P., Klaudel, H., Pelz, E.: M-nets: an Algebra of High Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages. Acta Informatica 35 (1998) 813-857
3. Boreale, M., Sangiorgi, D.: A Fully Abstract Semantics for Causality in the π-calculus. Proc. of STACS'95, Springer, LNCS 900 (1995) 243-254
4. Busi, N., Gorrieri, R.: A Petri net Semantics for π-calculus. Proc. of CONCUR'95, LNCS 962 (1995) 145-159
5. Cattani, G.L., Sewell, P.: Models for Name-Passing Processes: Interleaving and Causal. Proc. of LICS'2000, IEEE CS Press (2000) 322-333
6. Christensen, S., Hansen, N.D.: Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs. Proc. of ICATPN'93, Springer, LNCS 691 (1993) 186-205
7. Devillers, R., Klaudel, H.: Solving Petri Net Recursions through Finite Representation. Proc. of IASTED'04, ACTA Press (2004) 145-150
8. Devillers, R., Klaudel, H., Koutny, M.: Petri Net Semantics of the Finite π-Calculus Terms. Fundamenta Informaticae 70 (2006) 1-24
9. Devillers, R., Klaudel, H., Koutny, M.: A Petri Net Translation of pi-calculus Terms. Report CS-TR 887, University of Newcastle (2005)
10. Devillers, R., Klaudel, H., Koutny, M., Pommereau, F.: Asynchronous Box Calculus. Fundamenta Informaticae 54 (2003) 295-344
11. Devillers, R., Klaudel, H., Riemann, R.-C.: General Parameterised Refinement and Recursion for the M-net Calculus. Theoretical Comp. Sci. 300 (2003) 235-258
12. Engelfriet, J.: A Multiset Semantics for the π-calculus with Replication. Theoretical Comp. Sci. 153 (1996) 65-94
13. Grahlmann, B., Best, E.: PEP - More than a Petri net tool. Proc. of TACAS'96, Springer, LNCS 1055 (1996) 397-401
14. Haddad, S., Poitrenaud, D.: Modelling and Analyzing Systems with Recursive Petri Nets. Proc. of WODES'00, Kluwer Academics Publishers (2000) 449-458
15. Khomenko, V., Koutny, M., Niaouris, A.: Applying Petri Net Unfoldings for Verification of Mobile Systems. Report CS-TR 953, University of Newcastle (2006)
16. Kiehn, A.: Petri Net Systems and their Closure Properties. In: Advances in Petri Nets 1989, Rozenberg, G (Ed.). Springer, LNCS 424 (1990) 306-328
17. Milner, R.: Communication and Concurrency. Prentice Hall (1989).
18. Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes. Information and Computation 100 (1992) 1-77
19. Montanari, U., Pistore, M.: Concurrent Semantics for the π-calculus. Proc. of MFPS'95, Electronic Notes in Computer Science 1, Elsevier (1995) 1-19