Reliability analysis of non repairable systems using stochastic Petri nets. - Kamel Barkaoui; Gerard Florin; Céline Fraize; Bernard Lemaire; Stéphane Natkin (FTCS, 1988)

Searching Best Paths to Worst States. - Gerard Florin; Céline Fraize; Stéphane Natkin (PNPM, 1991)

Probabilistic Validation of a Remote Procedure Call Protocol. - Nacéra Bennacer; Gerard Florin; Céline Fraize; Stéphane Natkin (Application and Theory of Petri Nets, 1994)