Petri net-based automated control synthesis for a class of DEDS.

Frantisek Capkovic, Peter Capkovic

Browse the full ETFA paper archive.