Logic in Petri net analysis. Research report A5 (1988)

by H Tuominen