Ouvrages publiés en collaboration (1)
  1. 1. Best, E., Devillers, R., & Koutny, M. (2001). Petri net algebra. doi:10.1007/978-3-662-04457-5
    2.   Ouvrages édités à titre de seul éditeur ou en collaboration (1)
  2. 1. Devillers, R., & Valmari, A. (2015). Application and Theory of Petri Nets and Concurrency: Proceedings of the 36th International Conference PETRI NETS 2015. Switserland: LNCS, Springer.
    3.   Parties d'ouvrages collectifs (8)
  3. 1. Best, E., Devillers, R., & Koutny, M. (2001). A Unified Model for Nets and Process Algebras. In J. A. Bergstra, A. Ponse, & S. A. Smolka (Eds.), Handbook of Process Algebra (pp. 873--944). ELSEVIER.
  4. 2. Devillers, R., & Koutny, M. (1998). Recursive nets in the box algebra: p 239-249. In Application of Concurrency to System Design: Proceedings of the International conference on (p. 295). Fukushima: IEEE. doi:10.1109/CSD.1998.657555
  5. 3. Best, E., Devillers, R., & Koutny, M. (1998). Petri Nets, Process Algebras and Concurrent Programming Languages. In W. Reisg & G. Rozenberg (Eds.), Lecture Notes in Computer Science: Advances in Petri nets, Vol. 1492. Lectures on Petri Nets II: Applications (pp. 1-84). Springer-Verlag.
  6. 4. Devillers, R., & Klaudel, H. (1995). Refinement and Recursion in a High Level Petri Box Calculus. In J. Desel (Ed.), Structures in Concurrency Theory: Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11–13 May 1995 (pp. 144--159). London: Springer-Verlag. doi:10.1007/978-1-4471-3078-9_10
  7. 5. Devillers, R. (1994). Analysis of General Refined Petri Boxes. In Computer Science 2: Research and Application (pp. 411-428). Springer-Verlag US. doi:10.1007/978-1-4757-9805-0_34
  8. 6. Devillers, R. (1992). Maximality preservation and the ST-idea for action refinements. In Lecture Notes in Computer Science: Advances in Petri Nets 1992, The DEMON Project (pp. 108-151). London: Springer-Verlag. doi:10.1007/3-540-55610-9_170
  9. 7. Best, E., Devillers, R., & Hall, J. G. (1992). The box calculus: a new causal algebra with multi-label communication. In G. Rozenberg (Ed.), Advances in Petri Nets 1992, The DEMON Project (pp. 21-69). London: Springer-Verlag. doi:10.1007/3-540-55610-9_167
  10. 8. Best, E., & Devillers, R. (1987). Interleaving and partial orders in concurrency: a formal comparison: in Proceedings of the IFIP TC2 Working Conference. In M. Wirsing (Ed.), Formal Description of Programming Concepts-III (pp. 299-321). North-Holland.
    11.   Articles dans des revues avec comité de lecture (99)
  11. 1. Devillers, R., & Tredup, R. (2022). Synthesis of Inhibitor-Reset Petri Nets: Algorithmic and Complexity Issues. Lecture notes in computer science, 13288 LNCS, 213-235. doi:10.1007/978-3-031-06653-5_12
  12. 2. Devillers, R., & Tredup, R. (2022). Complexity of Distributed Petri Net Synthesis. Lecture notes in computer science, 13299 LNCS, 15-28. doi:10.1007/978-3-031-10363-6_2
    13. << Précédent 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 Suivant >>