On-line monitoring of large Petri net models under partial observation
scientific article; zbMATH DE number 5612742