Ronny Tredup

Available identifiers

zbMath Open tredup.ronnyMaRDI QIDQ2032840

List of research outcomes

Publication	Date of Publication	Type
Hardness Results for the Synthesis of b-bounded Petri Nets	2024-01-29	Paper
Fixed Parameter Tractability and Polynomial Time Results for the Synthesis of b-bounded Petri Nets	2024-01-29	Paper
On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets	2023-11-23	Paper
On the parameterized complexity of \(d\)-restricted Boolean net synthesis	2022-12-22	Paper
Some Basic Techniques Allowing Petri Net Synthesis: Complexity and Algorithmic Issues	2022-10-31	Paper
Synthesis of Pure and Impure Petri Nets with Restricted Place-environments: Complexity Issues	2022-10-31	Paper
Synthesis of inhibitor-reset Petri nets: algorithmic and complexity issues	2022-08-19	Paper
Synthesis of Petri nets with restricted place-environments: classical and parameterized	2022-03-21	Paper
Edge, event and state removal: the complexity of some basic techniques that make transition systems Petri net implementable	2022-03-21	Paper
The Complexity of Synthesis of b-Bounded Petri Nets	2022-02-01	Paper
https://portal.mardi4nfdi.de/entity/Q5019696	2022-01-10	Paper
On the parameterized complexity of the synthesis of Boolean nets with restricted place environments	2021-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q5009430	2021-08-04	Paper
The complexity of Boolean state separation	2021-07-08	Paper
Occupancy number restricted Boolean Petri net synthesis: a fixed-parameter algorithm	2021-07-08	Paper
The complexity of the label-splitting-problem for flip-flop-nets	2021-07-06	Paper
The complexity of synthesizing \textsf{nop}-equipped Boolean Petri nets from \(g\)-bounded inputs	2021-06-14	Paper
Parameterized Complexity of Synthesizing b-Bounded (m, n)-T-Systems	2020-07-20	Paper
The complexity of synthesizing elementary net systems relative to natural parameters	2020-03-13	Paper
Elementary net synthesis remains NP-complete even for extremely simple inputs	2019-12-18	Paper
Synthesis of structurally restricted \(b\)-bounded Petri nets: complexity results	2019-10-22	Paper
The complexity of synthesis for 43 Boolean Petri net types	2019-10-15	Paper

Research outcomes over time

This page was built for person: Ronny Tredup