Pelz, E.

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

• Fleischhack, Hans; Pelz, Elisabeth:
  Hierarchical Timed High Level Nets and Their Branching Processes. 2003.

• Pelz, Elisabeth; Fleischhack, Hans:
  Compositional High Level Petri Nets with Timing Constraints - A Comparison. 2003.

• Fleischhack, Hans; Pelz, Elizabeth:
  High Level Branching Processes for High Level Petri Nets. 2003.

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

• Fraczak, Wojciech; Pelz, Elisabeth:
  Improved Implementations via a New Structural Equivalence on Labeled Nets. 1997.

• Lilius, J.; Pelz, E.:
  An M-net Semantics for B(PN)² with Procedures. 1996.

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

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

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

• Pelz, E.:
  Normalization of place/transition-systems preserves net behaviour. 1992.

• Pelz, Elisabeth:
  About the Concurrent Behaviour of EN Systems: Definability and Closure Results. 1990.

• Pelz, Elisabeth:
  Logic Versus Sequential and Concurrent Behaviour. 1990.

• Pelz, Elisabeth:
  Normalisation of Place/Transtion Systems Preserves Net Behaviour. 1990.

• Pelz, Elisabeth:
  Place/Transition-Systems: Concurrent Behaviour and Logic. 1990.

• Pelz, Elisabeth:
  Réseaux et Logique. 1990.

• Parigot, M.; Pelz, E.:
  A Logical Formalism for the Study of the Finite Behaviour of Petri Nets. 1986.

• Pelz, E.:
  Closure Properties of Deterministic Petri Nets. 1986.

• Pelz, E.:
  Omega-Languages of Petri Nets and Logical Sentences. 1986.

• Pelz, E.; Vidal-Naquet, G.:
  Reseaux de Petri, leurs Extensions, leurs Langages. 1985.

• Parigot, M.; Pelz, E.:
  A Logical Approach of Petri Net Languages. 1985.

Back to the Petri Nets Bibliography