|
 
|
Jean-Michel Couvreur
Publications
2005
- [BCK05] K. Barkaoui, J. Couvreur, K. Klai. "On the Equivalence between Deadlock Freeness and Liveness in Petri Nets", ICATPN'05, 26th Int. Conf. on Application and Theory of Petri Nets, Miami, USA, January 2005, pp.90-107, Series LNCS,
Conférence Internationale avec comité de lecture
1995
- [BCD95] K. Barkaoui, J. Couvreur, C. Dutheillet. "On Liveness in Extended non Self-Controlling Nets", 16th Int. Conf. on Application and Theory of Petri Nets, ICATPN’ 95, January 1995, pp.25-46, Series LNCS 935,
Conférence Internationale avec comité de lecture
1993
- [CHP93] J. Couvreur, S. Haddad, J. Peyre. "Generative families of positive invariants in Coloured nets sub-classes", Advanced in Petri Nets, vol. 674, 1993
Revue Internationale avec comité de lecture
1992
- [CHP92] J. Couvreur, S. Haddad, J. Peyre. "Résolution paramétrée de familles de systèmes linéaires", RAIRO, vol. 26(2), 1992
Revue Nationale avec comité de lecture
1991
-
[CHP91]
J. Couvreur, S. Haddad, J. Peyre.
"Computation of Generative Families of Positive Semi-Flows in Two Types of Coloured Nets",
12th Int. Conf. on Application and Theory of Petri Nets,
January 1991,
