Elisabeth Pelz

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