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
https://portal.mardi4nfdi.de/entity/Q4621142	2019-02-08	Paper
Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets	2018-05-03	Paper
https://portal.mardi4nfdi.de/entity/Q3178869	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Elisabeth Pelz