|
 
|
M. Minoux
Publications
1992
- [BM92] K. Barkaoui, M. Minoux. "A Polynomial-Time Graph Algorithm to Decide Liveness of Some Basic Classes of Bounded Petri Nets", Application and Theory of Petri Nets, January 1992, pp.62-75, Series LNCS 616,
Conférence Internationale avec comité de lecture
1990
- [BM90] K. Barkaoui, M. Minoux. "Deadlocks and Traps in Petri nets as Horn-satisfiability Solutions ans some related Polynomially problems", Discrete Applied Mathematics, vol. 29, pp. 195-210, 1990
Revue Internationale avec comité de lecture
1988
- [BM88] K. Barkaoui, M. Minoux. "Polynomial Time Algorithms for Proving or Disproving CommonerÂ’s Structural Property", the 9th Int. Conf. on Application and Theory of Petri Nets ICATPN'88, January 1988,
