基于扩展的P/T_系统工作流建模的研究  

Research of Workflow Modeling Based on Extended P/T_System

作　　者：娄渊胜[1] 刘瑾[2] 黄龙达[3] 

机构地区：[1]河海大学计算机及信息工程学院,江苏南京210098 [2]南京航空航天大学信息科学与技术学院,江苏南京210016 [3]国电南瑞科技股份有限公司电网控制分公司,江苏南京210061

出　　处：《系统仿真学报》2007年第A01期158-160,共3页Journal of System Simulation

基　　金：国家自然科学基金项目(60573098);教育部重点项目(107056)。

摘　　要：针对当前工作流建模中存在的一般图形化建模方法正确性不易验证或基于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.

关 键 词：P/T_System xP/T_System 选择结构 正确性验证 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]