Michael J. Flynn Tilak Agerwala Comments on Capabilities, Limitations and Correctness of Petri Nets. 81-86 1973 ISCA db/conf/isca/isca73.html#FlynnA73