According to our database1, Elisabeth Pelz authored at least 30 papers between 1985 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets.
Fundam. Inform., 2018
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
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
Small Universal Non-deterministic Petri Nets with Inhibitor Arcs.
Proceedings of the Descriptional Complexity of Formal Systems, 2014
A Holistic State Equation for Timed Petri Nets.
Proceedings of the 22nd International Workshop on Concurrency, 2013
Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays.
Fundam. Inform., 2012
State Space Reduction for Dynamic Process Creation.
Sci. Ann. Comp. Sci., 2010
An approach to state space reduction for systems with dynamic process creation.
Proceedings of the 24th International Symposium on Computer and Information Sciences, 2009
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
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
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
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
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
An Algebraic Box Calculus.
Journal of Automata, Languages and Combinatorics, 2000
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
Improved Implementations via a New Structural Equivalence on Labelled Nets.
Proceedings of the Application and Theory of Petri Nets 1997, 1997
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
Normalization of place/transition-systems preserves net behaviour.
Logic Versus Sequential and Concurrent Net Behaviour.
Elektronische Informationsverarbeitung und Kybernetik, 1990
About the concurrent behaviour of EN systems: definability and closure results.
Proceedings of the Advances in Petri Nets 1989, 1988
Closure Properties of Deterministic Petri Nets.
Proceedings of the STACS 87, 1987
Infinitary languages of Petri nets and logical sentences.
Proceedings of the Advances in Petri Nets 1987, 1986
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