基于Petri-Net的流程验证新方法

常关羽杨海成莫蓉

四川大学学报（工程科学版）2016，Vol.48Issue(6)：180-187,8.

四川大学学报（工程科学版）2016，Vol.48Issue(6)：180-187,8.DOI:10.15961/j.jsuese.2016.06.025

A New Method for Business Process Verification Based on Petri-Net

常关羽 ¹杨海成 ¹莫蓉¹

作者信息

业务流程模型/Petri-Net/工作流/模型验证

business process model/Petri-Net/workflow/model verification

计算机与自动化

常关羽,杨海成,莫蓉..基于Petri-Net的流程验证新方法[J].四川大学学报（工程科学版）,2016,48(6):180-187,8.

国家自然科学基金资助项目(51375395) （51375395）

OA北大核心CSCDCSTPCD

ISSN：2096-3246

访问量0

下载量0

段落导航