Elisabeth Pelz

According to our database1, Elisabeth Pelz
  • authored at least 31 papers between 1985 and 2016.
  • has a "Dijkstra number"2 of four.

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


  Loading...