A logical formalism for the study of the infinite behaviour of Petri nets. - Michel Parigot; Elisabeth Pelz (Applications and Theory in Petri Nets, 1985)

A Logical Approach of Petri Net Languages. - Michel Parigot; Elisabeth Pelz (Theor. Comput. Sci., 1985)

On the Complexity of Theories of Permutations. - Elisabeth Pelz (Theor. Comput. Sci., 1985)

Infinitary languages of Petri nets and logical sentences. - Elisabeth Pelz (European Workshop on Applications and Theory of Petri Nets, 1986)

Closure Properties of Deterministic Petri Nets. - Elisabeth Pelz (STACS, 1987)

About the concurrent behaviour of EN systems: definability and closure results. - Elisabeth Pelz (European Workshop on Applications and Theory in Petri Nets, 1988)

Logic Versus Sequential and Concurrent Net Behaviour. - Elisabeth Pelz (J. Inf. Process. Cybern., 1990)

Normalization of place/transition-systems preserves net behaviour. - Elisabeth Pelz (RAIRO Theor. Informatics Appl., 1992)

A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)2. - Eike Best; Hans Fleischhack; Wojciech Fraczak; Richard P. Hopkins; Hanna Klaudel; Elisabeth Pelz (Application and Theory of Petri Nets, 1995)

Communication as Unification in the Petri Box Calculus. - Hanna Klaudel; Elisabeth Pelz (FCT, 1995)

CALIBAN - Esprit Basic Research WG 6067. - Eike Best; Raymond Devillers; Elisabeth Pelz; Arend Rensink; Manuel Silva 001; Enrique Teruel (STRICT, 1995)

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

Improved Implementations via a New Structural Equivalence on Labelled Nets. - Wojciech Fraczak; Elisabeth Pelz (ICATPN, 1997)

M-net Calculus Based Semantics for Triggers. - Véronique Benzaken; Nicolas Hugon; Hanna Klaudel; Elisabeth Pelz; Robert-C. Riemann (ICATPN, 1998)

M-Nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages. - Eike Best; Wojciech Fraczak; Richard P. Hopkins; Hanna Klaudel; Elisabeth Pelz (Acta Informatica, 1998)

An Algebraic Box Calculus. - Raymond Devillers; Hanna Klaudel; Elisabeth Pelz (J. Autom. Lang. Comb., 2000)

Compositional High Level Petri Nets with Timing Constraints - A Comparison. - Elisabeth Pelz; Hans Fleischhack (ACSD, 2003)

Hierarchical Timed High Level Nets and Their Branching Processes. - Hans Fleischhack; Elisabeth Pelz (ICATPN, 2003)

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

Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language). - Roland Bouroulet; Hanna Klaudel; Elisabeth Pelz (ACSD, 2006)

Formal Models for Multicast Traffic in Network on Chip Architectures with Compositional High-Level Petri Nets. - Elisabeth Pelz; Dietmar Tutsch (ICATPN, 2007)

Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets. - Roland Bouroulet; Raymond Devillers; Hanna Klaudel; Elisabeth Pelz; Franck Pommereau (Petri Nets, 2008)

Towards Efficient Verification of Systems with Dynamic Process Creation. - Hanna Klaudel; Maciej Koutny; Elisabeth Pelz; Franck Pommereau (ICTAC, 2008)

An approach to state space reduction for systems with dynamic process creation. - Hanna Klaudel; Maciej Koutny; Elisabeth Pelz; Franck Pommereau (ISCIS, 2009)

State Space Reduction for Dynamic Process Creation. - Hanna Klaudel; Maciej Koutny; Elisabeth Pelz; Franck Pommereau (Sci. Ann. Comput. Sci., 2010)

Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays. - Louchka Popova-Zeugmann; Elisabeth Pelz (Fundam. Informaticae, 2012)

Small Universal Petri Nets with Inhibitor Arcs. - Sergiu Ivanov 001; Elisabeth Pelz; Sergey Verlan (CoRR, 2013)

Small Universal Non-deterministic Petri Nets with Inhibitor Arcs. - Sergiu Ivanov 001; Elisabeth Pelz; Sergey Verlan (DCFS, 2014)

A Holistic State Equation for Timed Petri Nets. - Matthias Werner 001; Louchka Popova-Zeugmann; Mario Haustein; Elisabeth Pelz (Fundam. Informaticae, 2014)

Interval-Timed Petri Nets with Auto-concurrent Semantics and their State Equation. - Elisabeth Pelz; Abderraouf Kabouche; Louchka Popova-Zeugmann (PNSE @ Petri Nets, 2015)

Timed Processes of Interval-Timed Petri Nets. - Elisabeth Pelz (CS&P, 2016)

Small Universal Deterministic Petri Nets with Inhibitor Arcs. - Artiom Alhazov; Sergiu Ivanov 001; Elisabeth Pelz; Sergey Verlan (J. Autom. Lang. Comb., 2016)

Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets. - Elisabeth Pelz (Fundam. Informaticae, 2018)