# Elisabeth Pelz

According to our database

^{1}, Elisabeth Pelz## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2016

Small Universal Deterministic Petri Nets with Inhibitor Arcs.

Journal of Automata, Languages and Combinatorics, 2016

Timed Processes of Interval-Timed Petri Nets.

Proceedings of the 25th International Workshop on Concurrency, 2016

2015

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

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

2014

A Holistic State Equation for Timed Petri Nets.

Fundam. Inform., 2014

Small Universal Non-deterministic Petri Nets with Inhibitor Arcs.

Proceedings of the Descriptional Complexity of Formal Systems, 2014

2013

Small Universal Petri Nets with Inhibitor Arcs.

CoRR, 2013

A Holistic State Equation for Timed Petri Nets.

Proceedings of the 22nd International Workshop on Concurrency, 2013

2012

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

Fundam. Inform., 2012

2010

State Space Reduction for Dynamic Process Creation.

Sci. Ann. Comp. Sci., 2010

2009

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

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

2008

Towards Efficient Verification of Systems with Dynamic Process Creation.

Proceedings of the Theoretical Aspects of Computing, 2008

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

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.

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).

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.

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.

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

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

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

2000

An Algebraic Box Calculus.

Journal of Automata, Languages and Combinatorics, 2000

1998

M-Nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages.

Acta Inf., 1998

M-net Calculus Based Semantics for Triggers.

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

1997

Improved Implementations via a New Structural Equivalence on Labelled Nets.

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

1995

Communication as Unification in the Petri Box Calculus.

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)

^{2}.
Proceedings of the Application and Theory of Petri Nets 1995, 1995

1992

Normalization of place/transition-systems preserves net behaviour.

ITA, 1992

1990

Logic Versus Sequential and Concurrent Net Behaviour.

Elektronische Informationsverarbeitung und Kybernetik, 1990

1988

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

Proceedings of the Advances in Petri Nets 1989, 1988

1987

Closure Properties of Deterministic Petri Nets.

Proceedings of the STACS 87, 1987

1986

Infinitary languages of Petri nets and logical sentences.

Proceedings of the Advances in Petri Nets 1987, 1986

1985

On the Complexity of Theories of Permutations.

Theor. Comput. Sci., 1985

A Logical Approach of Petri Net Languages.

Theor. Comput. Sci., 1985

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

Proceedings of the Advances in Petri Nets 1985, 1985