Elisabeth Pelz

According to our database, Elisabeth Pelz authored at least 33 papers between 1985 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets.

Elisabeth Pelz

Fundam. Informaticae, 2018

2016

Small Universal Deterministic Petri Nets with Inhibitor Arcs.

Artiom Alhazov, Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan

J. Autom. Lang. Comb., 2016

Timed Processes of Interval-Timed Petri Nets.

Elisabeth Pelz

Proceedings of the 25th International Workshop on Concurrency, 2016

2015

Interval-Timed Petri Nets with Auto-concurrent Semantics and their State Equation.

Elisabeth Pelz, Abderraouf Kabouche, Louchka Popova-Zeugmann

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

2014

A Holistic State Equation for Timed Petri Nets.

Matthias Werner, Louchka Popova-Zeugmann, Mario Haustein, Elisabeth Pelz

Fundam. Informaticae, 2014

Small Universal Non-deterministic Petri Nets with Inhibitor Arcs.

Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan

Proceedings of the Descriptional Complexity of Formal Systems, 2014

2013

Small Universal Petri Nets with Inhibitor Arcs.

Sergiu Ivanov, Elisabeth Pelz, Sergey Verlan

CoRR, 2013

2012

Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays.

Louchka Popova-Zeugmann, Elisabeth Pelz

Fundam. Informaticae, 2012

2010

State Space Reduction for Dynamic Process Creation.

Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau

Sci. Ann. Comput. Sci., 2010

2009

An approach to state space reduction for systems with dynamic process creation.

Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau

Proceedings of the 24th International Symposium on Computer and Information Sciences, 2009

2008

Towards Efficient Verification of Systems with Dynamic Process Creation.

Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau

Proceedings of the Theoretical Aspects of Computing, 2008

Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets.

Roland Bouroulet, Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2007

Formal Models for Multicast Traffic in Network on Chip Architectures with Compositional High-Level Petri Nets.

Elisabeth Pelz, Dietmar Tutsch

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006

Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language).

Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2004

A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets.

Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2003

Hierarchical Timed High Level Nets and Their Branching Processes.

Hans Fleischhack, Elisabeth Pelz

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

Compositional High Level Petri Nets with Timing Constraints - A Comparison.

Elisabeth Pelz, Hans Fleischhack

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2000

An Algebraic Box Calculus.

Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz

J. Autom. Lang. Comb., 2000

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

M-net Calculus Based Semantics for Triggers.

Véronique Benzaken, Nicolas Hugon, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann

Proceedings of the Application and Theory of Petri Nets 1998, 1998

1997

Improved Implementations via a New Structural Equivalence on Labelled Nets.

Wojciech Fraczak, Elisabeth Pelz

Proceedings of the Application and Theory of Petri Nets 1997, 1997

1995

An M-net Semantics of B(PN)2.

Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz

Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

CALIBAN - Esprit Basic Research WG 6067.

Eike Best, Raymond R. Devillers, Elisabeth Pelz, Arend Rensink, Manuel Silva, Enrique Teruel

Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

Communication as Unification in the Petri Box Calculus.

Hanna Klaudel, Elisabeth Pelz

Proceedings of the Fundamentals of Computation Theory, 10th International Symposium, 1995

A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)².

Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz

Proceedings of the Application and Theory of Petri Nets 1995, 1995

1992

Normalization of place/transition-systems preserves net behaviour.

Elisabeth Pelz

RAIRO Theor. Informatics Appl., 1992

1990

Logic Versus Sequential and Concurrent Net Behaviour.

Elisabeth Pelz

J. Inf. Process. Cybern., 1990

1988

About the concurrent behaviour of EN systems: definability and closure results.

Elisabeth Pelz

Proceedings of the Advances in Petri Nets 1989, 1988

1987

Closure Properties of Deterministic Petri Nets.

Elisabeth Pelz

Proceedings of the STACS 87, 1987

1986

Infinitary languages of Petri nets and logical sentences.

Elisabeth Pelz

Proceedings of the Advances in Petri Nets 1987, 1986

1985

On the Complexity of Theories of Permutations.

Elisabeth Pelz

Theor. Comput. Sci., 1985

A Logical Approach of Petri Net Languages.

Michel Parigot, Elisabeth Pelz

Theor. Comput. Sci., 1985

A logical formalism for the study of the infinite behaviour of Petri nets.

Michel Parigot, Elisabeth Pelz

Proceedings of the Advances in Petri Nets 1985, 1985