Verification of Resource Constraints for Concurrent Workflows. - Jingfu Zhong; Binheng Song (SYNASC, 2005)