Lin Feng Hao Jiang Analysis of Workflow Schedulability Based on Time Constraint Petri Nets. 1208-1212 2006 conf/cscwd/2006 CSCWD http://dx.doi.org/10.1109/CSCWD.2006.253065 db/conf/cscwd/cscwd2006.html#FengJ06