Thomas Chatain Claude Jard Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets. 125-145 2006 conf/apn/2006 ICATPN http://dx.doi.org/10.1007/11767589_8 db/conf/apn/icatpn2006.html#ChatainJ06