Analysis and control of fuzzy discrete event systems using bisimulation equivalence
scientific article; zbMATH DE number 6093070