Juanole, G.

• Juanole, G.; Atamna, Y.; Carmo, R.L.R.:
  On the stochastic timed Petri nets model and its application to the DQDB protocol. 1994.

• Juanole, G.:
  Models for Qualitative and/or Quantitative Analysis of Real Time Communication Architectures. 1991.

• Juanole, Guy; Atamna, Youcef:
  Dealing with arbitrary time distributions with the Stochastic Timed Petri Net model - Application to queueing systems. 1991.

• Faure, C.; Juanole, G.; Vernadat, F.:
  LAPD protocol at the ISDN Interface: Formal Modeling with Petri Nets Based Models and Verification by Abstraction (Strings, Observational and Behavioral Equivalences). 1990.

• Juanole, G.; Ayoub dit Ayadi, M.:
  ISO CCR Formal Modelling and Verification via Projections. 1990.

• Juanole, G.; Roux, J.L.:
  On the Pertinence of the Extended Time Petri Net Model for Analyzing Communication Activities. 1990.

• Juanole, G.; Faure, C.:
  On Gateway for Internetworking through ISDN: Architecture and Formal Modelling with Petri Nets. 1989.

• Roux, J.L.; Juanole, G.:
  Functional and Performance Analysis Using Extended Time Petri Nets. 1987.

• Ayache, J.M.; Courtiat, J.-P.; Diaz, M.; Juanole, G.:
  Utilisation des Reseaux de Petri pour la Modelisation et la Validation des Protocoles. 1985.

• Juanole, G.; Algayres, B.; Dufau, J.:
  On Communication Protocol Modelling and Design. 1985.

• Azéma, P.; Juanole, G.; Sanchis, E.; Montbernard, M.:
  Specification and Verification of Distributed Systems Using PROLOG Interpreted Petri Nets. 1984.

• Juanole, G.:
  Data Transfer on a Link: Specification of a Class of Retransmission Strategies for the Error Control; Formal Modelling by Petri Nets. 1982.

Back to the Petri Nets Bibliography