通知公告
交大新闻
10 现在的位置：首页 > 期刊导读 > 2012 > 10 >
真并发等价性下的流程模型转换方法
【作者】 张曼 ; 段振华
【关键词】 工作流 Petri网 自由选择工作流网 可分离工作流网 真并发等价
【摘要】针对工作流建模过程中流程模型的演化问题,在真并发等价性概念下,提出将图形化控制流模型转换为顺序与并发结构可分隔处理的可分离形式的方法.采用自由选择工作流网建模控制流模型,以完全并发互模拟为真并发等价概念,定义两个安全网间是完全并发互模拟关系的充分条件;基于Petri网的网展开,提出获得工作流网的可分离形式的局部网展开算法;通过证明局部展开网与原工作流网满足完全并发互模拟的充分条件,保证两个网模型的等价性.所提转换方法与已有方法相比,能够保留并发层次,且所需步骤更少,有利于流程模型的演化.
上一篇：P2P流媒体邻居节点组织与行为预测
下一篇：手机短信远程控制灌溉系统
© 2015 《西安交通大学学报》编辑部 地址：西安市咸宁西路28号 邮编：710049
互联网备案号：陕ICP备07500839号