Julian C. Bradfield Proving temporal properties of Petri Nets. 29-47 1990 conf/apn/1990 Applications and Theory of Petri Nets db/conf/apn/apn1990.html#Bradfield90 http://dx.doi.org/10.1007/BFb0019967