Diagnosability analysis of patterns on bounded labeled prioritized Petri nets
scientific article; zbMATH DE number 6691737