Buchs, D.

• Buchs, Didier; Pedro, Luis; Lucio, Levi:
  Formal Test Generation from UML Models. 2006.

• Chen, Ang; Buchs, Didier:
  Towards Service-Based Business Process Modeling, Prototyping and Integration. 2006.

• Lúcio, Levi; Pedro, Luis; Buchs, Didier:
  A Test Language for CO-OPN Specifications. 2005.

• Buffo, Mathieu; Buchs, Didier:
  A Formal Component-Oriented Design Language for Building Distributed System. 2004.

• Al-Shabibi, Ali; Buchs, Didier; Buffo, Mathieu; Chachkov, Stanislav; Chen, Ang; Hurzeler, David:
  Prototyping Object Oriented Specifications. 2003.

• Besrour, Adel; Buchs, Didier:
  Man-machine occupational risk modeling (MORM). 2002.

• 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.

• Hulaas, Jarle; Buchs, Didier:
  An Experiment with Coordinated Algebraic Petri Nets as Formalism for Modeling Mobile Agents. 2001.

• Chachkov, Stanislav; Buchs, Didier:
  From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach. 2001.

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

• Sy, O.; Buffo, M.; Buchs, D.:
  An Experimental Approach Towards the XML Representation of Petri Net Models. 2000.

• Buchs, D.; Buffo, M.:
  Rapid prototyping of formally modeled distributed systems. 1999.

• Buffo, Mathieu; Buchs, Didier:
  A Distributed Semantics for a IWIM-Based Coordination Language. 1999.

• Buchs, Didier; Hulaas, Jarle:
  Evolutive Prototyping of Heterogeneous Distributed Systems Using Hierarchical Algebraic Petri Nets. 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.

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

• Buchs, D.; Racloz, P.; Flumet, J.:
  Specification and Implementation of Parallel Algorithms. 1989.

• Chen, A.; Buchs, D.; Lucio, L.; Pedro, L.; Risoldi, M.:
  Modeling Distributed Systems using Concurrent Object Oriented Petri Nets. 06.

Back to the Petri Nets Bibliography