| 2008 |
|---|
| 21 | EE | Hanna Klaudel,
Maciej Koutny,
Elisabeth Pelz,
Franck Pommereau:
Towards Efficient Verification of Systems with Dynamic Process Creation.
ICTAC 2008: 186-200 |
| 20 | EE | 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: 72-91 |
| 2007 |
|---|
| 19 | EE | Elisabeth Pelz,
Dietmar Tutsch:
Formal Models for Multicast Traffic in Network on Chip Architectures with Compositional High-Level Petri Nets.
ICATPN 2007: 381-401 |
| 2006 |
|---|
| 18 | EE | Roland Bouroulet,
Hanna Klaudel,
Elisabeth Pelz:
Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language).
ACSD 2006: 179-188 |
| 2004 |
|---|
| 17 | EE | Roland Bouroulet,
Hanna Klaudel,
Elisabeth Pelz:
A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets.
ACSD 2004: 99-110 |
| 2003 |
|---|
| 16 | EE | Elisabeth Pelz,
Hans Fleischhack:
Compositional High Level Petri Nets with Timing Constraints - A Comparison.
ACSD 2003: 132-141 |
| 15 | EE | Hans Fleischhack,
Elisabeth Pelz:
Hierarchical Timed High Level Nets and Their Branching Processes.
ICATPN 2003: 397-416 |
| 2000 |
|---|
| 14 | | Raymond R. Devillers,
Hanna Klaudel,
Elisabeth Pelz:
An Algebraic Box Calculus.
Journal of Automata, Languages and Combinatorics 5(2): 81-108 (2000) |
| 1998 |
|---|
| 13 | EE | Véronique Benzaken,
Nicolas Hugon,
Hanna Klaudel,
Elisabeth Pelz,
Robert-C. Riemann:
M-net Calculus Based Semantics for Triggers.
ICATPN 1998: 306-325 |
| 12 | EE | 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 Inf. 35(10): 813-857 (1998) |
| 1997 |
|---|
| 11 | | Wojciech Fraczak,
Elisabeth Pelz:
Improved Implementations via a New Structural Equivalence on Labelled Nets.
ICATPN 1997: 117-135 |
| 1995 |
|---|
| 10 | | Eike Best,
Hans Fleischhack,
Wojciech Fraczak,
Richard P. Hopkins,
Hanna Klaudel,
Elisabeth Pelz:
A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)2.
Application and Theory of Petri Nets 1995: 103-120 |
| 9 | | Hanna Klaudel,
Elisabeth Pelz:
Communication as Unification in the Petri Box Calculus.
FCT 1995: 303-312 |
| 1992 |
|---|
| 8 | | Elisabeth Pelz:
Normalization of place/transition-systems preserves net behaviour.
ITA 26: 19-44 (1992) |
| 1990 |
|---|
| 7 | | Elisabeth Pelz:
Logic Versus Sequential and Concurrent Net Behaviour.
Elektronische Informationsverarbeitung und Kybernetik 26(8/9): 461-472 (1990) |
| 1988 |
|---|
| 6 | | Elisabeth Pelz:
About the concurrent behaviour of EN systems: definability and closure results.
European Workshop on Applications and Theory in Petri Nets 1988: 354-373 |
| 1987 |
|---|
| 5 | | Elisabeth Pelz:
Closure Properties of Deterministic Petri Nets.
STACS 1987: 371-382 |
| 1986 |
|---|
| 4 | | Elisabeth Pelz:
Infinitary languages of Petri nets and logical sentences.
European Workshop on Applications and Theory of Petri Nets 1986: 224-237 |
| 1985 |
|---|
| 3 | | Michel Parigot,
Elisabeth Pelz:
A logical formalism for the study of the infinite behaviour of Petri nets.
Applications and Theory in Petri Nets 1985: 346-361 |
| 2 | | Michel Parigot,
Elisabeth Pelz:
A Logical Approach of Petri Net Languages.
Theor. Comput. Sci. 39: 155-169 (1985) |
| 1 | | Elisabeth Pelz:
On the Complexity of Theories of Permutations.
Theor. Comput. Sci. 41: 247-269 (1985) |
