中文摘要：

针对当前工作流建模中存在的一般图形化建模方法正确性不易验证或基于Petri网建模过于繁琐,程序不易实现的问题,提出了一个基于扩展的P/T_系统进行工作流建模的方法,并给出了正确性验证。该方法主要是通过扩展P/T_系统权函数可以取零值,并用变迁作为或分支节点实现选择和循环路由结构,使得建模在图形表示和程序实现上更加简单,同时保持了基于Petri建模的优点。

英文摘要：

The paper put forward a workflow modeling method based on xP/T_System aiming at the problems that it is difficult to validate the correctness of normal graphical modeling methods or it is complicated based on Petri net and hard to be implemented by the program, and then gave the correctness validation. This modeling method made it become simpler in the aspects of graphical indication and program implemention by extending the value of weight function to zero and take transition as the OR node to implement selection/iteration structure. At the same time the modeling method has the advantage of modeling method based on Petri.