Abstract
In this paper we propose a translation into high level Petri nets of a finite fragment of the π-calculus. Our construction renders in a compositional way the control flow aspects present in π-calculus process expressions, by adapting the existing graph-theoretic net composition operators. Those aspects which are related to term rewriting, as well as name binding, are handled through special inscription of places, transitions and arcs, together with a suitable choice of the initial marking for a compositionally derived high level Petri net.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-3-540-30232-2_24
Chapter PDF
Similar content being viewed by others
References
Best, E., Devillers, R.: Sequential and Concurrent Behaviour in Petri Net Theory. Theoretical Computer Science 55, 87–136 (1988)
Best, E., Frączak, 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, 813–857 (1998)
Best, E., Devillers, R., Koutny, M.: Petri Net Algebra. EATCS Monographs on TCS. Springer, Heidelberg (2001)
Boreale, M., Sangiorgi, D.: A Fully Abstract Semantics for Causality in the π- calculus. In: Mayr, E.W., Puech, C. (eds.) STACS 1995. LNCS, vol. 900, pp. 243–254. Springer, Heidelberg (1995)
Busi, N., Gorrieri, R.: A Petri net Semantics for π-calculus. In: Lee, I., Smolka, S.A. (eds.) CONCUR 1995. LNCS, vol. 962, pp. 145–159. Springer, Heidelberg (1995)
Cattani, G.L., Sewell, P.: Models for Name-Passing Processes: Interleaving and Causal. In: Proc. of LICS 2000, pp. 322–333. IEEE CS Press, Los Alamitos (2000)
Cattani, G.L., Sewell, P.: Models for Name-Passing Processes: Interleaving and Causal. Technical Report TR-505, University of Cambridge (2000)
Christensen, S., Hansen, N.D.: Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol. 691, pp. 186–205. Springer, Heidelberg (1993)
Devillers, R., Klaudel, H., Koutny, M.: Petri net semantics of the finite π-calculus CS-TR-846 University of Newcastle (2004)
Engelfriet, J.: A Multiset Semantics for the π-calculus with Replication. Theoretical Computer Science 153, 65–94 (1996)
Klaudel, H., Pommereau, F.: Asynchronous links in the PBC and M-nets. In: Thiagarajan, P.S., Yap, R.H.C. (eds.) ASIAN 1999. LNCS, vol. 1742, pp. 190–200. Springer, Heidelberg (1999)
Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes. Information and Computation 100, 1–77 (1992)
Montanari, U., Pistore, M.: Concurrent Semantics for the π-calculus. In: Proc. of MFPS 1995. Electronic Notes in Computer Science, vol. 1, Elsevier, Amsterdam (1995)
Parrow, J.: An Introduction to the π-calculus. In: Bergstra, Ponse, Smolka (eds.) Handbook of Process Algebra, pp. 479–543. Elsevier, Amsterdam (2001)
Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report FN-19, Computer Science Department, University of Aarhus (1981)
Vogler, W.: Partial Order Semantics and Read Arcs. In: Privara, I., Ružička, P. (eds.) MFCS 1997. LNCS, vol. 1295, pp. 508–517. Springer, Heidelberg (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 IFIP International Federation for Information Processing
About this paper
Cite this paper
Devillers, R., Klaudel, H., Koutny, M. (2004). Petri Net Semantics of the Finite π-Calculus. In: de Frutos-Escrig, D., Núñez, M. (eds) Formal Techniques for Networked and Distributed Systems – FORTE 2004. FORTE 2004. Lecture Notes in Computer Science, vol 3235. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30232-2_20
Download citation
DOI: https://doi.org/10.1007/978-3-540-30232-2_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23252-0
Online ISBN: 978-3-540-30232-2
eBook Packages: Springer Book Archive