Logical inference of clauses based on Petri net models. - Chuang Lin; Chanson, Samuel T. (International Journal of Intelligent Systems, 1998)