Elisabeth Pelz

Available identifiers

zbMath Open pelz.elisabethMaRDI QIDQ1083860

List of research outcomes

Publication	Date of Publication	Type
Communication as unification in the Petri Box Calculus	2022-12-09	Paper
Improved implementations via a new structural equivalence on labeled nets	2022-12-09	Paper
M-net Calculus Based Semantics for Triggers	2022-12-09	Paper
A class of composable high level Petri nets	2022-08-16	Paper
State space reduction for dynamic process creation	2019-02-08	Paper
Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets	2018-05-03	Paper
Small universal deterministic Petri nets with inhibitors arcs	2016-12-20	Paper
A holistic state equation for timed Petri nets	2014-12-22	Paper
Small universal non-deterministic Petri nets with inhibitor arcs	2014-08-07	Paper
Algebraical characterisation of interval-timed Petri nets with discrete delays	2013-01-14	Paper
Hierarchical timed high level nets and their branching processes	2010-03-31	Paper
Formal Models for Multicast Traffic in Network on Chip Architectures with Compositional High-Level Petri Nets	2009-03-11	Paper
Towards Efficient Verification of Systems with Dynamic Process Creation	2009-01-27	Paper
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets	2008-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q4436360	2003-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4500366	2000-09-04	Paper
M-nets: An algebra of high-level Petri-nets, with an application to the semantics of concurrent programming languages	1999-06-13	Paper
Normalization of place/transition-systems preserves net behaviour	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q5753511	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3766864	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3774962	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4720790	1986-01-01	Paper
A logical approach of Petri net languages	1985-01-01	Paper
On the complexity of theories of permutations	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3708790	1984-01-01	Paper

Research outcomes over time

This page was built for person: Elisabeth Pelz