Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Elisabeth Pelz
2010 – today
- 2012
[j8]Louchka Popova-Zeugmann, Elisabeth Pelz: Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays. Fundam. Inform. 120(3-4): 341-357 (2012)- 2010
- [j7]Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau: State Space Reduction for Dynamic Process Creation. Sci. Ann. Comp. Sci. 20: 131-157 (2010)
2000 – 2009
- 2009
- [c16]Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau: An approach to state space reduction for systems with dynamic process creation. ISCIS 2009: 543-548
- 2008
- [c15]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
- [c14]Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau: Towards Efficient Verification of Systems with Dynamic Process Creation. ICTAC 2008: 186-200
- 2007
- [c13]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
- [c12]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
- [c11]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
- [c10]Elisabeth Pelz, Hans Fleischhack: Compositional High Level Petri Nets with Timing Constraints - A Comparison. ACSD 2003: 132-141
- [c9]Hans Fleischhack, Elisabeth Pelz: Hierarchical Timed High Level Nets and Their Branching Processes. ICATPN 2003: 397-416
- 2000
- [j6]Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz: An Algebraic Box Calculus. Journal of Automata, Languages and Combinatorics 5(2): 81-108 (2000)
1990 – 1999
- 1998
- [j5]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)
- [c8]Véronique Benzaken, Nicolas Hugon, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann: M-net Calculus Based Semantics for Triggers. ICATPN 1998: 306-325
- 1997
- [c7]Wojciech Fraczak, Elisabeth Pelz: Improved Implementations via a New Structural Equivalence on Labelled Nets. ICATPN 1997: 117-135
- 1995
- [c6]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
- [c5]Hanna Klaudel, Elisabeth Pelz: Communication as Unification in the Petri Box Calculus. FCT 1995: 303-312
- 1992
- [j4]Elisabeth Pelz: Normalization of place/transition-systems preserves net behaviour. ITA 26: 19-44 (1992)
- 1990
- [j3]Elisabeth Pelz: Logic Versus Sequential and Concurrent Net Behaviour. Elektronische Informationsverarbeitung und Kybernetik 26(8/9): 461-472 (1990)
1980 – 1989
- 1988
- [c4]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
- [c3]
- 1986
- [c2]Elisabeth Pelz: Infinitary languages of Petri nets and logical sentences. European Workshop on Applications and Theory of Petri Nets 1986: 224-237
- 1985
- [j2]Michel Parigot, Elisabeth Pelz: A Logical Approach of Petri Net Languages. Theor. Comput. Sci. 39: 155-169 (1985)
- [j1]Elisabeth Pelz: On the Complexity of Theories of Permutations. Theor. Comput. Sci. 41: 247-269 (1985)
- [c1]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
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-01-16 21:24 CET by the dblp team