Devillers, Raymond; Klaudel, Hanna; Koutny, Maciej A compositional Petri net translation of general \(\pi\)-calculus terms. (English) Zbl 1152.68036 Formal Asp. Comput. 20, No. 4-5, 429-450 (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Devillers} et al., Formal Asp. Comput. 20, No. 4--5, 429--450 (2008; Zbl 1152.68036) Full Text: DOI
Devillers, Raymond; Klaudel, Hanna; Koutny, Maciej A Petri net semantics of a simple process algebra for mobility. (English) Zbl 1273.68254 Baeten, Jos (ed.) et al., Proceedings of the 12th workshop on expressiveness in concurrency (EXPRESS 2005), San Francisco, CA, USA, August 27, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 154, No. 3, 71-94 (2006). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{R. Devillers} et al., Electron. Notes Theor. Comput. Sci. 154, No. 3, 71--94 (2006; Zbl 1273.68254) Full Text: Link
Devillers, Raymond; Klaudel, Hanna; Koutny, Maciej A Petri net translation of \(\pi \)-calculus terms. (English) Zbl 1168.68437 Barkaoui, Kamel (ed.) et al., Theoretical aspects of computing – ICTAC 2006. Third international colloquium, Tunis, Tunisia, November 20–24, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-48815-6/pbk). Lecture Notes in Computer Science 4281, 138-152 (2006). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Devillers} et al., Lect. Notes Comput. Sci. 4281, 138--152 (2006; Zbl 1168.68437) Full Text: DOI
Devillers, Raymond; Klaudel, Hanna; Koutny, Maciej Petri net semantics of the finite \(\pi\)-calculus terms. (English) Zbl 1095.68062 Fundam. Inform. 70, No. 3, 203-226 (2006). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Devillers} et al., Fundam. Inform. 70, No. 3, 203--226 (2006; Zbl 1095.68062)
Devillers, Raymond; Klaudel, Hanna; Koutny, Maciej Petri net semantics of the finite \(\pi\)-calculus. (English) Zbl 1110.68417 de Frutos-Escrig, David (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2004. 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27–30, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23252-4/pbk). Lecture Notes in Computer Science 3235, 309-325 (2004). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{R. Devillers} et al., Lect. Notes Comput. Sci. 3235, 309--325 (2004; Zbl 1110.68417) Full Text: DOI
Devillers, Raymond; Klaudel, Hanna; Koutny, Maciej; Pommereau, Franck Asynchronous box calculus. (English) Zbl 1111.68536 Fundam. Inform. 54, No. 4, 295-344 (2003). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Devillers} et al., Fundam. Inform. 54, No. 4, 295--344 (2003; Zbl 1111.68536)
Devillers, Raymond; Klaudel, Hanna; Koutny, Maciej; Pommereau, Franck An algebra of non-safe Petri boxes. (English) Zbl 1275.68104 Kirchner, Hélène (ed.) et al., Algebraic methodology and software technology. 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9–13, 2002. Prodeedings. Berlin: Springer (ISBN 3-540-44144-1/pbk). Lecture Notes in Computer Science 2422, 192-207 (2002). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{R. Devillers} et al., Lect. Notes Comput. Sci. 2422, 192--207 (2002; Zbl 1275.68104) Full Text: DOI HAL
Best, Eike; Devillers, Raymond; Koutny, Maciej The box algebra = Petri nets + process expressions. (English) Zbl 1012.68117 Inf. Comput. 178, No. 1, 44-100 (2002). MSC: 68Q85 PDFBibTeX XMLCite \textit{E. Best} et al., Inf. Comput. 178, No. 1, 44--100 (2002; Zbl 1012.68117) Full Text: DOI
Best, Eike; Devillers, Raymond; Koutny, Maciej A unified model for nets and process algebras. (English) Zbl 1006.68101 Bergstra, Jan A. (ed.) et al., Handbook of process algebra. Amsterdam: North-Holland/ Elsevier. 873-944 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{E. Best} et al., in: Handbook of process algebra. Amsterdam: North-Holland/ Elsevier. 873--944 (2001; Zbl 1006.68101)
Best, Eike; Devillers, Raymond; Koutny, Maciej Recursion and Petri nets. (English) Zbl 1025.68055 Acta Inf. 37, No. 11-12, 781-829 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{E. Best} et al., Acta Inf. 37, No. 11--12, 781--829 (2001; Zbl 1025.68055) Full Text: DOI
Best, Eike; Devillers, Raymond; Koutny, Maciej Petri net algebra. (English) Zbl 0968.68110 Monographs in Theoretical Computer Science. An EATCS Series. Berlin: Springer. 380 p. DM 89.00; öS 650.00; sFr 78.50; £30.50; $ 49.95 (2000). Reviewer: Horst Müller (Erlangen) MSC: 68Q85 68Q10 68Q60 68-02 PDFBibTeX XMLCite \textit{E. Best} et al., Petri net algebra. Berlin: Springer (2000; Zbl 0968.68110)
Janicki, Ryszard; Lauer, Peter E.; Koutny, Maciej; Devillers, Raymond Concurrent and maximally concurrent evolution of nonsequential systems. (English) Zbl 0604.68006 Theor. Comput. Sci. 43, 213-238 (1986). Reviewer: M.Křetínský MSC: 68N01 68Q60 68N25 PDFBibTeX XMLCite \textit{R. Janicki} et al., Theor. Comput. Sci. 43, 213--238 (1986; Zbl 0604.68006) Full Text: DOI