Guelfi, N.

• Di Marzo Serugendo, Giovanna; Mandrioli, Dino; Buchs, Didier; Guelfi, Nicolas:
  Real-Time Synchronised Petri Nets. 2002.

• Biberstein, O.; Buchs, D.; Guelfi, N.:
  Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism. 2001.

• Di Marzo Serugendo, Giovanna; Mandrioli, D.; Buchs, D.; Guelfi, N.:
  Adding Real-Time Constraints to Synchronised Petri Nets. 2000.

• Vachon, J.; Guelfi, N.:
  COALA: A Design Language for Reliable Distributed Systems Engineering. 2000.

• Di Marzo Serugendo, G.; Guelfi, N.; Romanovsky, A.; Zrozo, A.F.:
  Formal development and validation of Java dependable distributed systems. 1999.

• Di Marzo Serugendo, G.; Guelfi, N.:
  Formal development of Java based Web parallel applications. 1998.

• Di Marzo Serugendo, G.; Guelfi, N.:
  Using object-oriented algebraic nets for the reverse engineering of Java programs: a case study. 1998.

• Guelfi, N.:
  Hierarchical algebraic nets. 1997.

• Guelfi, N.; Mourlin, F.:
  Formal treatment of data structures in concurrency models. 1996.

• Buchs, D.; Guelfi, N.:
  Open distributed programming using the object-oriented specification formalismen CO-OPN. 1991.

• Buchs, Didier; Guelfi, Nicolas:
  CO-OPN: a Concurrent Object Oriented Petri Net Approach. 1991.

• Buchs, Didier; Guelfi, Nicolas:
  System Specification Using CO-OPN. 1991.

• Buchs, Didier; Guelfi, Nicolas:
  A Semantic Description of Actor Languages by Structured Algebraic Petri Nets. 1991.

• Guelfi, N.:
  Classes de Réseaux Structurées: Études, Utilisation et Modifications. 1990.

• Buchs, Didier; Guelfi, Nicolas:
  CO-OPN: A Concurrent Object Oriented Petri Net Model. 1990.

Back to the Petri Nets Bibliography