Harro Wimmel

Available identifiers

zbMath Open wimmel.harroMaRDI QIDQ927094

List of research outcomes

Publication	Date of Publication	Type
Algebraic characterization of petri net pomset semantics	2023-05-17	Paper
Relabelling LTS for Petri net synthesis via solving separation problems	2021-06-14	Paper
Target-oriented Petri net synthesis	2021-05-20	Paper
\(k\)-bounded Petri net synthesis from modal transition systems	2020-05-27	Paper
Presynthesis of bounded choice-free or fork-attribution nets	2020-03-12	Paper
A geometric characterisation of event/state separation	2019-12-18	Paper
Simultaneous Petri Net Synthesis	2019-02-08	Paper
Sufficient conditions for the marked graph realisability of labelled transition systems	2018-11-23	Paper
Plain, bounded, reversible, persistent, and \(k\)-marked Petri nets have marked graph reachability graphs	2018-03-26	Paper
Characterising Petri net solvable binary words	2016-10-04	Paper
Structure theory of Petri nets	2013-05-31	Paper
Applying CEGAR to the Petri net state equation	2012-10-22	Paper
Finding a witness path for non-liveness in free-choice nets	2011-06-29	Paper
Applying CEGAR to the Petri net state equation	2011-05-19	Paper
The downward-closure of Petri net languages	2010-09-07	Paper
New algorithms for deciding the siphon-trap property	2010-06-22	Paper
Separability in Conflict-Free Petri Nets	2010-02-02	Paper
Entscheidbarkeit bei Petri Netzen	2008-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q3504339	2008-06-11	Paper
Theoretical computer science. Petri nets.	2008-05-22	Paper
Petri-Netze	2008-01-03	Paper
Making Petri nets safe and free of internal transitions	2008-01-02	Paper
Applications and Theory of Petri Nets 2004	2005-12-23	Paper
Applications and Theory of Petri Nets 2004	2005-12-23	Paper
https://portal.mardi4nfdi.de/entity/Q2766552	2002-06-17	Paper
A uniform approach to true-concurrency and interleaving semantics for Petri nets	1999-01-12	Paper

Research outcomes over time

This page was built for person: Harro Wimmel