|
 
|
C. Dutheillet
Publications
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
- [BDH93] K. Barkaoui, C. Dutheillet, S. Haddad. "An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets", Application and Theory of Petri Nets, January 1993, pp.69-88, Series LNCS 691,
