Hongchen Li Yun Yang T. Y. Chen Resource constraints analysis of workflow specifications. 271-285 2004 73 Journal of Systems and Software http://dx.doi.org/10.1016/S0164-1212(03)00250-4 db/journals/jss/jss73.html#LiYC04