Dutheillet, C.

• Thierry-Mieg, Yann; Dutheillet, Claude; Mounier, Isabelle:
  Automatic Symmetry Detection in Well-Formed Nets. 2003.

• Dutheillet, C.; Vernier-Mounier, I.; Ilié, J.-M.; Poitrenaud, D.:
  Verification: State-Space-Based Methods and Model Checking. 2002.

• Capra, L.; Dutheillet, C.; Franceschinis, G.; Ilie, J.M.:
  Towards performance analysis with partially symmetrical SWN. 1999.

• Barkaoui, K.; Couvreur, J.M.; Dutheillet, C.:
  On Liveness in Extended Non Self-Controlling Nets. 1995.

• Barkaoui, K.; Dutheillet, C.; Haddad, S.:
  An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets. 1993.

• Dutheillet, C.; Haddad, S.:
  Conflict Sets in Colored Petri Nets. 1993.

• Chiola, G.; Dutheillet, C.; Franceschinis, G.; Haddad, S.:
  Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications. 1993.

• Chiola, Giovanni; Dutheillet, Claude; Franceschinis, Guiliana; Haddad, Serge:
  On Well-Formed Coloured Nets and their Symbolic Reachability Graph. 1990.

• Chiola, G.; Dutheillet, C.; Franceschinis, G.; Haddad, S.:
  Stochastic Well-Formed Coloured Nets and Multiprocessor Modelling Applications. 1990.

• Dutheillet, C.; Haddad, S.:
  Aggregation of States in Colored Stochastic Petri Nets: Application to a Multiprocessor Architecture. 1990.

• Dutheillet, C.; Haddad, S.:
  Regular Stochastic Petri Nets. 1989.

Back to the Petri Nets Bibliography