Miryam Barad Timed Petri Nets as a Verification Tool. 547-554 1998 Winter Simulation Conference http://portal.acm.org/citation.cfm?id=293172.293275 db/conf/wsc/wsc1998.html#Barad98