Wei Song, Wan-Chun Dou, Jinjun Chen, Shaokun Fan: Safety Analysis and Performance Evaluation of Time WF-nets. APWeb/WAIM Workshops 2007: 420-432