Knowledge-based approach to Petri nets analysis. - M. Benmaiza; M. Reda El-Karaksy (Knowl. Based Syst., 1991)