Synthesis of behavioral controllers for Discrete Event Systems with NCES-like Petri net models. - Kai Bollue; Dirk Abel; Wolfgang Thomas (ECC, 2009)

DFG Research Training Group "Algorithmic Synthesis of Reactive and Discrete-Continuous Systems (AlgoSyn)" (DFG-Graduiertenkolleg "Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme (AlgoSyn)"). - Wolfgang Thomas; Kai Bollue; Dominique Gückel; Gustavo Quiros; Michaela Slaats; Michael Ummels (it Inf. Technol., 2009)

Synthesis of Behavioral Controllers for Discrete Event Systems with Augmented Petri Net Models. - Kai Bollue (AlgoSyn, 2010)

Synthesis of behavioral controllers for DES: Increasing efficiency. - Kai Bollue; Michaela Slaats; Erika Ábrahám; Wolfgang Thomas; Dirk Abel (WODES, 2010)

Algorithmische Synthese ereignisdiskreter Steuerungen mit erweiterten Petrinetz-Modellen. - Kai Bollue (2018)