FMS scheduling based on timed Petri net model and reactive graph search
scientific article; zbMATH DE number 5312874
scientific article