Volgen
Uli Schlachter
Uli Schlachter
Wissenschaftlicher Mitarbeiter, Carl von Ossietzky Universität Oldenburg
Geverifieerd e-mailadres voor informatik.uni-oldenburg.de - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Analysis of Petri nets and transition systems
E Best, U Schlachter
arXiv preprint arXiv:1508.04851, 2015
392015
Bounded choice-free Petri net synthesis: algorithmic issues
E Best, R Devillers, U Schlachter
Acta Informatica 55, 575-611, 2018
292018
Characterising Petri net solvable binary words
E Best, E Erofeev, U Schlachter, H Wimmel
International Conference on Applications and Theory of Petri Nets and …, 2016
192016
Optimised capacity and operating strategy for providing frequency containment reserve with batteries and power-to-heat
U Schlachter, A Worschech, T Diekmann, B Hanke, K von Maydell
Journal of Energy Storage 32, 101964, 2020
182020
Petri net synthesis for restricted classes of nets
U Schlachter
International Conference on Applications and Theory of Petri Nets and …, 2016
142016
Business case analysis of hybrid systems consisting of battery storage and power-to-heat on the German energy market
P Draheim, U Schlachter, H Wigger, A Worschech, U Brand, T Diekmann, ...
Utilities Policy 67, 101110, 2020
112020
An adaptive penalty function with meta-modeling for constrained problems
O Kramer, U Schlachter, V Spreckels
2013 IEEE Congress on Evolutionary Computation, 1350-1354, 2013
112013
Over-approximative Petri net synthesis for restricted subclasses of nets
U Schlachter
Language and Automata Theory and Applications: 12th International Conference …, 2018
102018
Bounded Petri net synthesis from modal transition systems is undecidable
U Schlachter
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
102016
Relabelling LTS for petri net synthesis via solving separation problems
U Schlachter, H Wimmel
Transactions on Petri Nets and Other Models of Concurrency XIV, 222-254, 2019
92019
A geometric characterisation of event/state separation
U Schlachter, H Wimmel
International Conference on Applications and Theory of Petri Nets and …, 2018
92018
Factorisation of Petri net solvable transition systems
R Devillers, U Schlachter
International Conference on Applications and Theory of Petri Nets and …, 2018
92018
A graph-theoretical characterisation of state separation
E Best, R Devillers, U Schlachter
SOFSEM 2017: Theory and Practice of Computer Science: 43rd International …, 2017
92017
Petri net synthesis and modal specifications
UC Schlachter
Universität Oldenburg, 2018
72018
Simultaneous Petri net synthesis
E Best, R Devillers, U Schlachter, H Wimmel
Scientific Annals of Computer Science 28 (2), 199-236, 2018
62018
Analysis of taxation and framework conditions for hybrid power plants consisting of battery storage and power-to-heat providing frequency containment reserve in selected …
A Worschech, U Schlachter, H Wigger, B Hanke, P Draheim, F Schuldt, ...
Energy Strategy Reviews 38, 100744, 2021
52021
k-bounded Petri net synthesis from modal transition systems
U Schlachter, H Wimmel
28th International Conference on Concurrency Theory (CONCUR 2017), 2017
52017
Optimal label splitting for embedding an LTS into an arbitrary Petri net reachability graph is NP-complete. CoRR abs/2002.04841 (2020)
U Schlachter, H Wimmel
52002
Optimal Label Splitting for Embedding an LTS into an arbitrary Petri Net Reachability Graph is NP-complete
U Schlachter, H Wimmel
arXiv preprint arXiv:2002.04841, 2020
42020
Properties of Plain, Pure, and Safe Petri Nets
K Barylska, E Best, U Schlachter, V Spreckels
Transactions on Petri Nets and Other Models of Concurrency XII, 1-18, 2017
42017
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20