Uli Schlachter

18 papers B 8C 1Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2020 J jnl
Optimal Label Splitting for Embedding an LTS into an arbitrary Petri Net Reachability Graph is NP-complete.
CoRR
Uli Schlachter, Harro Wimmel
2019 J jnl
Relabelling LTS for Petri Net Synthesis via Solving Separation Problems.
Trans. Petri Nets Other Model. Concurr.
Uli Schlachter, Harro Wimmel
2018 B conf
A Geometric Characterisation of Event/State Separation.
Petri Nets
Uli Schlachter, Harro Wimmel
2018 J jnl
Bounded choice-free Petri net synthesis: algorithmic issues.
Acta Informatica
Eike Best, Raymond Devillers, Uli Schlachter
2018 B conf
Factorisation of Petri Net Solvable Transition Systems.
Petri Nets
Raymond Devillers, Uli Schlachter
2018 C conf
Over-Approximative Petri Net Synthesis for Restricted Subclasses of Nets.
LATA
Uli Schlachter
2018 — —
Petri net synthesis and modal specifications.
Uli Schlachter
2018 J jnl
Simultaneous Petri Net Synthesis.
Sci. Ann. Comput. Sci.
Eike Best, Raymond Devillers, Uli Schlachter, Harro Wimmel
2017 B conf
A Graph-Theoretical Characterisation of State Separation.
SOFSEM
Eike Best, Raymond Devillers, Uli Schlachter
2017 J jnl
Incremental Process Discovery using Petri Net Synthesis.
Fundam. Informaticae
Éric Badouel, Uli Schlachter
2017 J jnl
Properties of Plain, Pure, and Safe Petri Nets.
Trans. Petri Nets Other Model. Concurr.
Kamila Barylska, Eike Best, Uli Schlachter, Valentin Spreckels
2017 — conf
Synthesis of Labelled Transition Systems into Equal-Conflict Petri Nets.
ATAED@Petri Nets/ACSD
Uli Schlachter, Valentin Spreckels
2017 B conf
k-Bounded Petri Net Synthesis from Modal Transition Systems.
CONCUR
Uli Schlachter, Harro Wimmel
2016 B conf
Bounded Petri Net Synthesis from Modal Transition Systems is Undecidable.
CONCUR
Uli Schlachter
2016 B conf
Characterising Petri Net Solvable Binary Words.
Petri Nets
Eike Best, Evgeny Erofeev, Uli Schlachter, Harro Wimmel
2016 B conf
Petri Net Synthesis for Restricted Classes of Nets.
Petri Nets
Uli Schlachter
2015 — conf
Analysis of Petri Nets and Transition Systems.
ICE
Eike Best, Uli Schlachter
2013 B conf
An adaptive penalty function with meta-modeling for constrained problems.
IEEE Congress on Evolutionary Computation
Oliver Kramer, Uli Schlachter, Valentin Spreckels