| 基于扩展的P/T_系统工作流建模的研究 |
| |
| 引用本文： | 娄渊胜,刘瑾,黄龙达.基于扩展的P/T_系统工作流建模的研究[J].系统仿真学报,2007,19(A01):158-160. |
| |
| 作者姓名： | 娄渊胜 刘瑾 黄龙达 |
| |
| 作者单位： | [1]河海大学计算机及信息工程学院,江苏南京210098 [2]南京航空航天大学信息科学与技术学院,江苏南京210016 [3]国电南瑞科技股份有限公司电网控制分公司,江苏南京210061 |
| |
| 基金项目： | 国家自然科学基金项目（60573098）;教育部重点项目（107056）. |
| |
| 摘 要： | 针对当前工作流建模中存在的一般图形化建模方法正确性不易验证或基于Petri网建模过于繁琐,程序不易实现的问题,提出了一个基于扩展的P/T_系统进行工作流建模的方法,并给出了正确性验证。该方法主要是通过扩展P/T_系统权函数可以取零值,并用变迁作为或分支节点实现选择和循环路由结构,使得建模在图形表示和程序实现上更加简单,同时保持了基于Petri建模的优点。
|
| 关 键 词： | P/T_System xP/T_System 选择结构 正确性验证 |
| 文章编号： | 1004-731X（2007）S1-0158-03 |
| 收稿时间： | 2007-06-05 |
| 修稿时间： | 2007-07-03 |
Research of Workflow Modeling Based on Extended P/T_System |
| |
| LOU Yuan-sheng, LIU Jin, HUANG Long-da.Research of Workflow Modeling Based on Extended P/T_System[J].Journal of System Simulation,2007,19(A01):158-160. |
| |
| Authors: | LOU Yuan-sheng LIU Jin HUANG Long-da |
| |
| Abstract: | 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. |
| |
| Keywords: | P/T_System xP/T_System selection structure correctness validation |
| 本文献已被 维普 等数据库收录！ |
