Darondeau, P.

• Darondeau, Philippe:
  Unbounded Petri Net Synthesis. 2004.

• Badouel, Eric; Caillaud, Benoit; Darondeau, P.:
  Distributing Finite Automata Through Petri Net Synthesis. 2002.

• Caillaud, Benoit; Darondeau, Philippe; Hélouët, Loïc; Lesventes, Gilles:
  HMSCs as Partial Specifications ... with PNs as Completions. 2001.

• Badouel, Eric; Bednarczyk, Marek A.; Darondeau, Philippe:
  Generalized Automata and Their Net Representations. 2001.

• Darondeau, Philippe:
  On the Petri net realization of context-free graphs. 2001.

• Darondeau, Philippe:
  Region Based Synthesis of P/T-Nets and Its Potential Applications. 2000.

• Badouel, Eric; Darondeau, Philippe:
  Theory of Regions. 1998.

• Darondeau, Philippe:
  Deriving Unbounded Petri Nets from Formal Languages. 1998.

• Darondeau, P.:
  Deriving unbounded Petri nets from formal specifications. 1998.

• Badouel, Eric; Darondeau, Philippe:
  Stratified Petri Nets. 1997.

• Badouel, Eric; Bernardinello, Luca; Darondeau, Philippe:
  Polynomial Algorithms for the Synthesis of Bounded Nets. 1995.

• Darondeau, Philippe; Degano, Pierpaolo:
  Causal Trees: Interleaving + Causality. 1990.

• Darondeau, Philippe; Degano, Pierpaolo:
  Event Structures, Causal Trees, and Refinement. 1990.

Back to the Petri Nets Bibliography