Relabelling LTS for Petri net synthesis via solving separation problems
scientific article; zbMATH DE number 7358488