Johnen, C.

• Johnen, Colette; Alari, Gianluigi; Beauquier, Joffroy; Datta, Ajoy K.:
  Self-Stabilizing Depth-First Token Passing on Rooted Networks. 1997.

• Johnen, C.; Memmi, G.:
  D' espaces d'accueil dans les réseaux de Petri. 1992.

• Finkel, A.; Johnen, C.:
  Construction efficace du graphe de couverture minimal: application à l' analyse de protocole. 1991.

• Finkel, A.; Johnen, C.; Petrucci, L.:
  Compositional and parallel analysis of Petri nets. 1991.

• Johnen, Colette; Mourlin, Fabrice:
  Analysis of the Communication Structure of Occam2 Programs Using Petri Nets. 1991.

• Johnen, Colette; Petrucci, Laure:
  Computation of P-Invariants for Integer Nets: Application to the Analysis of Algebraic Nets. 1991.

• Berthelot, G.; Finkel, A.; Johnen, C.; Petrucci, L.:
  A Generic Example for Testing Performance of Reachability and Covering Graphs Construction Algorithms. 1990.

• Berthelot, G.; Johnen, C.; Petrucci, L.:
  PAPETRI: poste d'analyse des réseaux de Petri. 1989.

• de Frutos Escrig, D.; Johnen, C.:
  Decidability of Home Space Property. 1989.

• Finkel, A.; Johnen, C.:
  The Home State Problem in Transition Systems. 1989.

• Johnen, C.:
  Algorithmic Verification of Home Spaces in P/T Systems. 1988.

• Johnen, Colette:
  Decidability of Home Space Property. 1988.

• Johnen, C.:
  Analyse algotrithmique des résaux de Petri: Vérification d'escape d'accueil, système réécriture. 1987.

• Choppy, C.; Johnen, C.:
  PETRIREVE: Proving Petri Net Properties with Rewriting Systems. 1984.

Back to the Petri Nets Bibliography