Falko Bause Analysis of Petri Nets with a Dynamic Priority Method. 215-234 1997 conf/apn/1997 ICATPN db/conf/apn/icatpn97.html#Bause97 http://dx.doi.org/10.1007/3-540-63139-9_38