A Petri net based supervisory control implementation.

Jana Flochova

Browse the full SMC paper archive.