Logical inference of clauses based on Petri net models

Chuang Lin, Samuel T. Chanson. Logical inference of clauses based on Petri net models. Int. J. Intell. Syst., 13(9):821-840, 1998. [doi]

Abstract

Abstract is missing.