In: European AI 7th Conf., Vol. 2, pages 164-168. 1987.
Abstract: Petri nets are suitable for the management of many important formalisms in knowledge representation. Using Petri nets and their interrelation to linear algebra, solution paths in search trees can be computed and redundancies and inconsistencies in knowledge bases can be exposed.