Devillers, R.

• Devillers, Raymond; Klaudel, Hanna; Koutny, Maciej:
  A Petri Net Translation of n-Calculus Terms. 2006.

• Devillers, Raymond; Klaudel, Hanna; Koutny, Maciej:
  Petri Net Semantics of the Finite pi-Calculus. 2004.

• Devillers, R.; Klaudel, Hanna; Koutny, M.:
  Context-based Process Algebras for Mobility. 2004.

• Devillers, Raymond; Klaudel, Hanna; Riemann, Robert-C.:
  General parameterised refinement and recursion for the M-net calculus. 2003.

• Devillers, Raymond; Klaudel, Hanna; Koutny, Maciej; Pommereau, Franck:
  An Algebra of Non-safe Petri Boxes. 2002.

• Best, E.; Devillers, R.; Koutny, M.:
  A unified model for nets and process algebra. 2001.

• Best, Eike; Devillers, Raymond; Koutny, Maciej:
  Recursion and Petri nets. 2001.

• Devillers, Raymond:
  A Box Algebra with Mixed Unfactorable Operators. 2001.

• Best, Eike; Devillers, Raymond; Koutny, Maciej:
  The Box Algebra - A Model of Nets and Process Expressions. 1999.

• Best, E.; Devillers, R.; Koutny, M.:
  Petri Nets, Process Algebras and Concurrent Programming Languages. 1998.

• Devillers, R.; Koutny, M.:
  Recursive nets in the box calculus. 1998.

• Devillers, Raymond; Klaudel, Hanna; Riemann, Robert-Christoph:
  General refinement for high level Petri nets. 1997.

• Devillers, Raymond; Klaudel, Hanna; Riemann, Robert-Christoph:
  Parameterised General Refinement in the M-net Calculus. 1997.

• Best, E.; Devillers, R.; Pelz, E.; Rensink, A.; Silva, M.; Teruel, E.:
  CALIBAN - Esprit Basic Research WG 6067. 1995.

• Devillers, Raymond:
  S-Invariant Analysis of General Recursive Petri Boxes. 1995.

• Devillers, Raymond; Klaudel, Hanna:
  Refinement and Recursion in a High Level Petri Box Calculus. 1995.

• Best, Eike; Devillers, Raymond; Esparza, Javier:
  General Refinement and Recursion Operators for the Petri Box Calculus. 1993.

• Devillers, R.:
  Construction of S-invariants and S-components for Refined Petri Boxes. 1993.

• Devillers, Raymond:
  Maximality Preservation and the ST-idea for Action Refinements. 1992.

• Best, Eike; Devillers, Raymond; Kiehn, Astrid; Pomello, Lucia:
  Concurrent Bisimulations in Petri Nets. 1991.

• Devillers, Raymond:
  Maximality Preserving Bisimulation: Simplifications and Extensions. 1991.

• Devillers, Raymond:
  The Semantics of Capacities in P/T Nets. 1990.

• Devillers, Raymond:
  Maximality Preserving Bisimulation. 1990.

• Best, Eike; Devillers, Raymond; Kiehn, Astrid; Pomello, Lucia:
  Fully Concurrent Bisimulation. 1989.

• Devillers, Raymond:
  On the Definition of a Bisimulation Notion Based on Partial Words. 1988.

• Best, E.; Devillers, R.:
  Interleaving and Partial Orders in Concurrency: A Formal Comparision. 1987.

• Best, E.; Devillers, R.:
  Sequential and Concurrent Behaviour in Petri Net Theory. 1987.

• Devillers, R.:
  The Semantics of Capacities in P/T Nets: a First Look. 1985.

• Devillers, R.:
  The Expressive Power of Various Enabling Rules for P/T Nets. 1985.

• Devillers, Raymond:
  A Pleading in the Case against Isolated Nodes. 1985.

• Best, E.; Devillers, R.:
  Concurrent Behaviour: Sequences, Processes and Programming Languages. 1985.

• Janicki, R.; Lauer, P.E.; Koutny, M.; Devillers, R.:
  Concurrent and Maximally Concurrent Evolution of Non-sequential Systems. 1985.

• Devillers, Raymond:
  Two Properties on n-Safeness. 1984.

• Janicki, R.; Lauer, P.E.; Devillers, R.:
  Maximally Concurrent Evolution of Non-sequential Systems. 1983.

• Devillers, Raymond; Louchard, Guy:
  Realization of Petri Nets without Conditional Statements. 1973.

Back to the Petri Nets Bibliography