Research activity

Convention d'éméritat renouvelée jusqu'au 31/08/2023

Eight past PhD students (1990 - 2003) at Sorbonne University

1996-2009 Publications

• 2009
  • C. Girault, J.‑F. Pradat‑Peyre : “Analysis of High Level Petri Nets”, chapter in Petri Nets: Fundamental Models, Verification and Applications, pp. 221-266, (Wiley-ISTE), (ISBN: 9781848210790) (2009)
  • C. Girault, J.‑F. Pradat‑Peyre : “High Level Petri Nets”, chapter in Petri Nets: Fundamental Models, Verification and Applications, pp. 185-219, (Wiley-ISTE), (ISBN: 9781848210790) (2009)
• 2005
  • C. Girault, R. Valk : “Petri nets for Systems Engineering : A Guide to Modeling, Verification, and Applications (China Version)”, (Publishing House of Electronics Industry), (ISBN: 7-121-00781-9) (2005)
• 2003
  • C. Girault, R. Valk : “Petri Nets for Systems Engineering : A Guide to Modeling, Verification, and Applications”, 607 pages, (Springer-Verlag), (ISBN: 3-540-41217-4) (2003)
• 2001
  • J.‑Th. Calvet, C. Girault : “Fiabilité et distribution de la synchronisation dans les réseaux SDH”, 3^es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Saint-Jean de Luz, France, pp. 127-134, (Institut National de la Recherche en Informatique et Automatique (INRIA)) (2001)
  • J.‑Th. Calvet, C. Girault : “A Simulation Environment for SDH Synchronization network planning”, Third International Workshop on Design of Reliable Communication Networks, Budapest, Hungary (2001)
  • C. Girault, J.‑F. Pradat‑Peyre : “Les Réseaux de Petri de Haut Niveau”, chapitre de Les Réseaux de Petri, Modèles Fondamentaux, pp. 223-254, (Hermes), (ISBN: 2-7462-0250-6) (2001)
• 1998
  • K. Fisler, C. Girault : “Modeling and Model Checking of a Shared Memory Consistency Protocol”, 18^th International Concference on Applications and Theory of Petri Nets, vol. 1420, Lecture Notes in Computer Science, Lisboa, Portugal, pp. 84-103, (Springer) (1998)
• 1996
  • L. Benalycherif, C. Girault : “Behavioural and Structural Composition Rules Preserving Liveness By Synchronization for Coloured Fifo Nets”, 16^th International Conference on Applications and Theory of Petri Nets, Osaka, Japan, pp. 73-92 (1996)
  • B. Folliot, C. Girault, P. Sens, P.‑G. Raverdy : “Proceedings of the Resource Allocation for Parallel Applications, From Local Area Networks to Multi-clustered High-speed Networks”, IFIP W. G.10.3 Workshop, Paris, France (1996)