Dealing with Arbitrary Time Distributions with the Stochastic Timed Petri Net Model - Application to Queueing Systems. - Guy Juanole; Youcef Atamna (PNPM, 1991)

Definition of the model-"Stochastic timed well formed coloured nets". - Youcef Atamna (PNPM, 1993)

Methodology for LAN Modeling and Analysis Using Petri Nets Based Models. - Nathalie Bergé; Mazen Samaan; Guy Juanole; Youcef Atamna (MASCOTS, 1994)

Methodology for Obtaining Abstract Views of State Graphs Labeled with Probabilities and Times: An Example of Application to a Communication Protocol. - Youcef Atamna; Guy Juanole (MASCOTS, 1995)

Quantified reduced views of state graphs using Markovian and timed observational equivalence. - Khalil Drira; Youcef Atamna; Guy Juanole (PSTV, 1995)