Girault, C.

• Girault, Claude; Valk, Rüdiger:
  Petri Nets for Systems Engineering --- A Guide to Modeling, Verification, and Applications. 2003.

• Fisler, Kathi; Girault, Claude:
  Modelling and Model Checking a Distributed Shared Memory Consistency Protocol. 1998.

• Benalycherif, Mohamed-Lyes; Girault, Claude:
  Behavioural and Structural Composition Rules Preserving Liveness by Synchronisation for Colored FIFO Nets. 1996.

• Baer, J.L.; Girault, C.:
  Cache Coherence in MIMD systems: A Petri Net Model for a Minimal State Solution. 1989.

• Girault, C.; Chatelain, C.; Haddad, S.:
  Specification and Properties of a Cache Coherence Protocol Model. 1987.

• Haddad, S.; Girault, C.:
  Algebraic Structure of Flows of a Regular Coloured Net. 1987.

• Baer, J.L.; Girault, C.:
  Design of a Parallel Architecture for the Cache Coherence Problem. 1986.

• Baer, J.L.; Girault, C.:
  A Petri Net Model for a Solution to the Cache Coherence Problem. 1985.

• Carlier, J.; Chretienne, P.; Girault, C.:
  Modelling Scheduling Problems With Timed Petri Nets. 1985.

• Estraillier, P.; Girault, C.; Ilie, J.M.:
  Satellite Protocol Modeling by Synchronous Predicate/Transition Nets. 1985.

• Estraillier, P.; Girault, C.:
  Petri Nets Specification of Virtual Ring Protocols. 1983.

• Berthelot, G.; Girault, C.; Roucairol, G.:
  Petri Net Modelling and Reliability of Distributed Algorithms. 1982.

• Estraillier, P.; Girault, C.:
  Petri Nets Specification of a New Protocol for Controlling a Distributed System Organization. 1982.

• Girault, C.; Reisig, W.:
  Application and Theory of Petri Nets. 1982.

• Brams, G.W.; Andre, C.; Berthelot, G.; Girault, C.; Memmi, G.; Roucairol, G.; Sifakis, J.; Valette, R.; Vidal-Naquet, G.:
  Reseaux de Petri: Theorie et Pratique. Tome 1: Theorie et Analyse; Tome 2: Modelisation et Applications. 1982.

• Andre, C.; Diaz, M.; Girault, C.; Sifakis, J.:
  Survey of French Research and Applications based on Petri Nets. 1980.

• Girault, C.:
  Proof of Protocols in the Case of Failures. 1980.

• Girault, C.:
  Proof of Protocols with Lost Messages. 1980.

• Girault, C.:
  Reseaux de Petri et Synchronisation de Processus. 1978.

• Girault, C.; Morcrette, M.:
  Syntactic Analysis by Specialized Parallel Operators. 1977.

Back to the Petri Nets Bibliography