Couvreur, J.-M.

• Barkaoui, Kamel; Couvreur, Jean-Michel; Klai, Kais:
  On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets. 2005.

• Couvreur, Jean-Michel; Encrenaz, Emmanuelle; Paviot-Adet, Emmanuel; Poitrenaud, Denis; Wacrenier, Pierre-André:
  Data Decision Diagrams for Petri Net Analysis. 2002.

• Couvreur, Jean-Michel; Grivet, Sébastien; Poitrenaud, Denis:
  Unfolding of Products of Symmetrical Petri Nets. 2001.

• Couvreur, Jean-Michel; Grivet, Sébastien; Poitrenaud, Denis:
  Designing a LTL Model-Checker Based on Unfolding Graphs. 2000.

• Couvreur, Jean-Michel; Poitrenaud, Denis:
  Detection of Illegal Behaviors Based on Unfoldings. 1999.

• Couvreur, Jean-Michel; Poitrenaud, Denis:
  Model Checking based on Occurrence Net Graph. 1996.

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

• Couvreur, J.M.; Paviot-Adet, E.:
  New Structural Invariants for Petri Nets Analysis. 1994.

• Couvreur, J.M.; Haddad, S.; Peyre, J.F.:
  Generative families of positive invariants in Coloured nets sub-classes. 1993.

• Ezpeleta, J.; Couvreur, J.M.; Silva, M.:
  A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri Nets. 1993.

• Couvreur, J.M.; Haddad, S.; Peyre, J.F.:
  Computation of Generative Families of Positive Semi-Flows in Two Types of Coloured Nets. 1991.

• Ezpeleta, J.; Couvreur, J.M.:
  A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri Nets. 1991.

• Blanc, P.; Couvreur, J.-M.; Rukoz, M.:
  A Study of Distributed Control Algorithms by Means of Colored Petri Nets. 1990.

• Couvreur, J.M.:
  The General Computations of Flows for Coloured Nets. 1990.

• Couvreur, Jean Michel; Martínez, Javier:
  Linear Invariants in Commutative High Level Nets. 1989.

• Haddad, S.; Couvreur, J.M.:
  Validation of Parallel Systems with Coloured Petri Nets. 1988.

Back to the Petri Nets Bibliography