Klaudel, H.

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

• Comet, Jean-Paul; Klaudel, Hanna; Liauzu, Stéphane:
  Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets. 2005.

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

• Bouroulet, Roland; Klaudel, Hanna; Pelz, Elisabeth:
  A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets. 2004.

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

• Thanh, Cécile Bui; Klaudel, Hanna:
  Object-Oriented Modelling with High-Level Modular Petri Nets. 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.

• Klaudel, Hanna:
  Compositional high-level Petri net semantics of a parallel programming language with procedures. 2001.

• Klaudel, Hanna; Pommereau, Franck:
  A Concurrent Semantics of Static Exceptions in a Parallel Programming Language. 2001.

• Klaudel, H.; Pommereau, F.:
  A concurrent and compositional Petri net semantics of preemption. 2000.

• Best, E.; Fraczak, W.; Hopkins, R.P.; Klaudel, H.; Pelz, E.:
  M-nets: an algebra of high-level Petri nets with an applications to the semantics of concurrent programming languages. 1998.

• Benzaken, V.; Hugon, N.; Klaudel, H.; Pelz, E.; Riemann, R.-C.:
  M-net Calculus Based Semantics for Triggers. 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.

• Klaudel, Hanna; Riemann, Robert-Christoph:
  High Level Expressions with their SOS Semantics. 1997.

• Klaudel, Hanna; Riemann, Robert-Christoph:
  Consistent Equivalence Notion for a Class of High Level Petri Nets. 1996.

• Best, E.; Fleischhack, H.; Fraczak, W.; Hopkins, R.P.; Klaudel, H.; Pelz, E.:
  A Class of Composable High Level Petri Nets. 1995.

• Best, Eike; Fleischhack, Hans; Fraczak, Wojciech; Hopkins, Richard P.; Klaudel, Hanna; Pelz, Elisabeth:
  An M-net Semantics of B(PN)². 1995.

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

• Best, E.; Fleischhack, H.; Fraczak, W.; Hopkins, R.P.; Klaudel, H.; Pelz, E.:
  A High Level Petri Net Semantics of B(PN)². 1994.

• Klaudel, H.; Pelz, E.:
  Algebraic Representation of Data in the Petri Box Calculus. 1992.

Back to the Petri Nets Bibliography