业务过程模型的Petri网形式化检查方法

业务过程模型的Petri网形式化检查方法
邓建;陈智;曾家智
【期刊名称】《计算机集成制造系统》
【年(卷),期】2011(017)005
【摘要】为解决企业间业务协同模型形式化检查的问题,将采用标准业务过程建模符号的业务模型转换为Petri网,构造出一种可建模企业问复杂业务协同的业务过程流网.采用过程定义可扩展标记语言2.1版本,开发了一种具有通用性的业务过程模型转换和检查工具.采用业务过程流网对供应链中企业间采购订单过程进行了建模.实验结果表明,业务过程流网能将符合过程定义町扩展标记语占规范的业务模型完整地转换为Petri网,得到的Petri网易于化简和分析.%To resolve the formal checking of business collaboration model cross enterprises, a special Petri net named Business Process Flow net (BPF-net) was constructed to transform business process modeled by Business Process Modeling Notation (BPMN) into Petri nets.With the use of eXtensible Markup Language (XML) Process Definition Language (XPDL) 2.1 version, a universal tool was also developed to convert and check business process model.An inter-organizational order process in supply chain was modeled by using of BPF-net.Experimental results showed that BPF-net could transform the bueiness model which met the XPDL specifications into Petri net, and easy to be simplified and analyzed.
【总页数】10页(P1110-1119)
【作者】邓建;陈智;曾家智
【作者单位】电子科技大学计算机科学与工程学院,四川成都610054;电子科技大学通信抗干扰国家级重点实验室,四川成都610054;电子科技大学计算机科学与工程学院,四川成都610054
【正文语种】中文
【中图分类】TP311;TP319
【相关文献】
1.机械产品概念设计过程模型的形式化表达 [J], 张国全;张卫国;钟毅芳
2.基于形式化方法的网络业务流Petri网模型的仿真分析 [J], 李金春
3.OWL-S过程模型的形式化描述与相容性分析 [J], 唐郑熠;王金水;韦立;薛醒思;胡文瑜
4.多媒体任务管理中的过程模型及其形式化描述 [J], 阮峰;董飚;陈金辉
5.基于随机Petri网的邻避冲突演化过程模型及情景仿真分析——以垃圾焚烧发电厂为例 [J], 全雄伟;左高山
因版权原因，仅展示原文概要，查看原文内容请购买。