Elisabeth Pelz

Publication Activity (10 Years)

Years Active: 1985-2018
Publications (10 Years): 4

Top Topics

Timed Petri Nets

Discrete Event Systems

Top Venues

Fundam. Informaticae

J. Autom. Lang. Comb.

Publications

Elisabeth Pelz
Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets. Fundam. Informaticae 157 (4) (2018)
Artiom Alhazov, Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan
Small Universal Deterministic Petri Nets with Inhibitor Arcs. J. Autom. Lang. Comb. 21 (1-2) (2016)
Elisabeth Pelz
Timed Processes of Interval-Timed Petri Nets. CS&P (2016)
Elisabeth Pelz, Abderraouf Kabouche, Louchka Popova-Zeugmann
Interval-Timed Petri Nets with Auto-concurrent Semantics and their State Equation. PNSE @ Petri Nets (2015)
Matthias Werner, Louchka Popova-Zeugmann, Mario Haustein, Elisabeth Pelz
A Holistic State Equation for Timed Petri Nets. Fundam. Informaticae 133 (2-3) (2014)
Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan
Small Universal Non-deterministic Petri Nets with Inhibitor Arcs. DCFS (2014)
Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan
Small Universal Petri Nets with Inhibitor Arcs. CoRR (2013)
Matthias Werner, Louchka Popova-Zeugmann, Mario Haustein, Elisabeth Pelz
A Holistic State Equation for Timed Petri Nets. CS&P (2013)
Louchka Popova-Zeugmann, Elisabeth Pelz
Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays. Fundam. Informaticae 120 (3-4) (2012)
Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau
State Space Reduction for Dynamic Process Creation. Sci. Ann. Comput. Sci. 20 (2010)
Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau
An approach to state space reduction for systems with dynamic process creation. ISCIS (2009)
Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau
Towards Efficient Verification of Systems with Dynamic Process Creation. ICTAC (2008)
Roland Bouroulet, Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets. Petri Nets (2008)
Elisabeth Pelz, Dietmar Tutsch
Formal Models for Multicast Traffic in Network on Chip Architectures with Compositional High-Level Petri Nets. ICATPN (2007)
Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz
Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language). ACSD (2006)
Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz
A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets. ACSD (2004)
Elisabeth Pelz, Hans Fleischhack
Compositional High Level Petri Nets with Timing Constraints - A Comparison. ACSD (2003)
Hans Fleischhack, Elisabeth Pelz
Hierarchical Timed High Level Nets and Their Branching Processes. ICATPN (2003)
Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz
An Algebraic Box Calculus. J. Autom. Lang. Comb. 5 (2) (2000)
Eike Best, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
M-Nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages. Acta Informatica 35 (10) (1998)
Véronique Benzaken, Nicolas Hugon, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann
M-net Calculus Based Semantics for Triggers. ICATPN (1998)
Wojciech Fraczak, Elisabeth Pelz
Improved Implementations via a New Structural Equivalence on Labelled Nets. ICATPN (1997)
Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
. Application and Theory of Petri Nets (1995)
Eike Best, Raymond R. Devillers, Elisabeth Pelz, Arend Rensink, Manuel Silva, Enrique Teruel
CALIBAN - Esprit Basic Research WG 6067. STRICT (1995)
Hanna Klaudel, Elisabeth Pelz
Communication as Unification in the Petri Box Calculus. FCT (1995)
Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
An M-net Semantics of B(PN)2. STRICT (1995)
Elisabeth Pelz
Normalization of place/transition-systems preserves net behaviour. RAIRO Theor. Informatics Appl. 26 (1992)
Elisabeth Pelz
Logic Versus Sequential and Concurrent Net Behaviour. J. Inf. Process. Cybern. 26 (8/9) (1990)
Elisabeth Pelz
About the concurrent behaviour of EN systems: definability and closure results. European Workshop on Applications and Theory in Petri Nets (1988)
Elisabeth Pelz
Closure Properties of Deterministic Petri Nets. STACS (1987)
Elisabeth Pelz
Infinitary languages of Petri nets and logical sentences. European Workshop on Applications and Theory of Petri Nets (1986)
Elisabeth Pelz
On the Complexity of Theories of Permutations. Theor. Comput. Sci. 41 (1985)
Michel Parigot, Elisabeth Pelz
A logical formalism for the study of the infinite behaviour of Petri nets. Applications and Theory in Petri Nets (1985)
Michel Parigot, Elisabeth Pelz
A Logical Approach of Petri Net Languages. Theor. Comput. Sci. 39 (1985)