Actes de la
journées ``Réseaux et Algorithmes Répartis'' du 20
juin 2002. Sylvie
Delaët, Thomas Hérault, Colette Johnen and Sébastien
Tixeuil, LRI report no. 1325, 2002.
Exorcisme, ou
communication, fiable et équitable autostabilisée, Ivan
Lavallée, Christian Lavault, Colette Johnen, research report
no. 1 L.R.I.A., Equipe PARADIS, University Paris 8,
January, 1998 (in french).
Decomposition of Petri Net for Parallel analysis,
Alain Finkel, Colette Johnen and Laure Petrucci, LRI report no.
706, 1991
Computation of p-invariants for integers nets :
application to the analysis of algebraic nets,
Colette Johnen and Laure Petrucci, LRI report no. 645, 1991
The home state problem in Transition Systems,
Alain Finkel and Colette Johnen, LRI report no. 471, 1989