Barkaoui, K.

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

• Barkaoui, K.; Pradat-Peyre, J.-F.:
  Verification in concurrent programming with Petri nets structural techniques. 1998.

• Barkaoui, K.; Kaiser, C.; Pradat-Peyre, J.F.:
  Petri nets based proof of ADA 95 solution for preference control. 1997.

• Barkaoui, Kamel; Pradat-Peyre, Jean-François:
  On Liveness and Controlled Siphons in Petri Nets. 1996.

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

• Barkaoui, K.; Ben Abdallah, I.:
  Modeling and performance evaluation of tool sharing management in FMS using stochastic Petri nets. 1993.

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

• Barkaoui, Kamel; Minoux, Michel:
  A Polynomial-time Graph Algorithm to Decide Liveness of some Basic Classes of Bounded Petri Nets. 1992.

• Minoux, M.; Barkaoui, K.:
  Deadlocks and Traps in Petri Nets as Horn-Satisfiability Solutions and some Related Polynomially Solvable Problems. 1990.

• Barkaoui, K.; Lemaire, B.:
  An Effective Characterization of Minimal Deadlocks and Traps in Petri Nets Based on Graph Theory. 1989.

• Barkaoui, Kamel:
  Contribution aux methodes d'analyse des reseaux de Petri par la theorie des graphes. 1988.

• Barkaoui, K.; Florin, G.; Fraize, C.; Lemaire, B.; Natkin, S.:
  Reliability Analysis of non Repairable Systems using Stochastic Petri Nets. 1988.

• Barkaoui, K.; Lemaire, B.:
  Minimal Preconservative Components of a Petri Net: Structural Study. 1987.

Back to the Petri Nets Bibliography