author = { Schlachter, Uli AND Wimmel, Harro Uli Schlachter and Harro Wimmel },

title = { k-Bounded Petri Net Synthesis from Modal Transition Systems },

publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},

keywords = { bounded Petri net , Modal transition system , synthesis },

year = {2017},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }