A fuzzy Petri net tool for modeling and verification of knowledge-based systems
scientific article; zbMATH DE number 1630225