基于petri网系统规约的工作流建模验证

基于petri网系统规约的工作流建模验证
杨波涛;乔佩利
【期刊名称】《现代制造技术与装备》
【年(卷),期】2006(000)001
【摘要】本文针对工作流过程建模的复杂性和易出错的状况,提出了基于Petri网系统规约的模型验证方法,提出了工作流网向Petri网映射的对应关系,给出了Petri 网模型的八种规约规则.这些规则在实际应用中证明是可行的.
【总页数】3页(P58-60)
【作者】杨波涛;乔佩利
【作者单位】哈尔滨理工大学,计算机科学与技术学院,哈尔滨,150080;哈尔滨理工大学,计算机科学与技术学院,哈尔滨,150080
【正文语种】中文
【中图分类】TP3
【相关文献】
1.基于 Petri 网的科研项目管理工作流模型的建立与验证 [J], 张蕊
2.基于Petri网的位置敏感工作流建模与正确性验证方法。

[J], 张力;赵炯;贾伟昊;刘英博
3.基于Petri网的工作流建模合理性验证算法 [J], 郝玫;王道平
4.基于Petri网的保险工作流系统建模及验证 [J], 何路路;方欢
5.基于图规约法的TCPN工作流网模型的验证方法 [J], 刘惠义;吴继锋;曾晓勤
因版权原因，仅展示原文概要，查看原文内容请购买。