Helsinki Univ. of Technology, Espoo (Finland), Research Report Series A, No. 5, January 1988.
Abstract: Different ways of using non-classical logic in Petri net analysis are studied. The main idea is to express net properties in logic and thus allow their mechanical verification. Two methods are presented: the model checking method and the axiomatic method. The first one is a combination of conventional Petri net analysis methods and logic; the latter relies purely on logic.