该设计方案在清华大学软件学院研制的工作流管理系统(ColouredFlow)中已经得到了实现和验证。
The design scheme has been implemented and verified in workflow managementsystem ( ColouredFlow ) which is developed by School of Software , Tsinghua Univer-sity .