Schlachter, Uli Christian (2018) Petri net synthesis and modal specifications. PhD, Universität Oldenburg.