【摘 要】
：
针对工作流建模过程中流程模型的演化问题,在真并发等价性概念下,提出将图形化控制流模型转换为顺序与并发结构可分隔处理的可分离形式的方法.采用自由选择工作流网建模控制
【机 构】
：
西安电子科技大学计算理论与技术研究所
【基金项目】
：
国家自然科学基金资助项目（60910004,61003078,61133001）, 国家重点基础研究发展规划资助项目（2010CB328102）
论文部分内容阅读
针对工作流建模过程中流程模型的演化问题,在真并发等价性概念下,提出将图形化控制流模型转换为顺序与并发结构可分隔处理的可分离形式的方法.采用自由选择工作流网建模控制流模型,以完全并发互模拟为真并发等价概念,定义两个安全网间是完全并发互模拟关系的充分条件;基于Petri网的网展开,提出获得工作流网的可分离形式的局部网展开算法;通过证明局部展开网与原工作流网满足完全并发互模拟的充分条件,保证两个网模型的等价性.所提转换方法与已有方法相比,能够保留并发层次,且所需步骤更少,有利于流程模型的演化.
其他文献
流感是由A型禽流感病毒引起的一种以禽类为主要侵害对象的人畜共患传染病。禽流感病毒为正黏病毒科流感病毒。根据禽流感病毒的致病性和毒力的不同，将禽流感分为高致病性禽流
结合105国道中山段橡胶粉排水沥青混凝土试验路实际施工情况,从备料、机械、运输、施工过程等几个方面介绍了橡胶粉改性排水沥青混凝土的施工控制措施及施工注意事项。
“科技兴市”是韶关发展的重要战略，而在战略之中，自主创新是重中之重。在“自主创新、重点跨越、支撑发展、引领未来”的方针指导下，韶关自主创新的工作取得了显著的成绩。而这
吕梁市离石区小杂粮产业在粮食作物生产中占有很大比重,特别是在市场经济发展、人民生活质量提高的新形势下,小杂粮的地位也越来越重要。面对离石区小杂粮产业的生产、加工状
针对标准粒子群优化算法在求解复杂多模问题时容易陷入局部极值点和有限冲击响应数字滤波器（FIR DF）设计时减少误差的问题,将综合学习粒子群优化算法（CLPSO）应用于FIR DF设计中.C
针对机载雷达动目标空时参数估计中常用的基于最大似然准则的参数搜索方法计算量过大的问题,提出了一种新的目标空时参数快速估计方法.该方法首先对机载雷达阵列回波信号做降