Supervisory control of a class of concurrent discrete event systems under partial observation
scientific article; zbMATH DE number 2161208
scientific article