论文部分内容阅读
Petri网是描述工作流的理想建模工具,本文介绍了一种基于抽象方法的工作流模型的分解过程,将工作流网分解为两个满足二元模拟关系的子网,其结果得到工作流模型,并举例说明了基于抽象的工作流模型分解可以减少原始模型Kripke结构的状态数目,为工作流的模型验证提供了一种有效的方法。
基于Petri网和抽象方法的工作流模型分解
【摘 要】
：
Petri网是描述工作流的理想建模工具,本文介绍了一种基于抽象方法的工作流模型的分解过程,将工作流网分解为两个满足二元模拟关系的子网,其结果得到工作流模型,并举例说明了基于抽象的工作流模型分解可以减少原始模型Kripke结构的状态数目,为工作流的模型验证提供了一种有效的方法。
【机 构】
：
清华大学,计算机科学与技术系,北京,100084;第二炮兵工程学院计算机与指挥自动化系,西安,710025
【出 处】
：
第十次全国Petri网学术年会暨形式化方法学术讨论会
【发表日期】
：
2005年1期
其他文献
为纪念辛亥革命100周年,由国务院侨办和文化部共同主办,中国美术馆、何香凝美术馆承办,全国政协港澳台侨委员会支持的＂纪念辛亥革命一百周年何香凝艺术精品展＂于9月16日在北京
本文介绍了陕北气区陕35井第一次下光油管(即不带封隔器)酸化的施工情况,并结合该地区的地层压力特征分析了光油管酸化施工的可行性及应用限度。
陕甘宁盆地中部奥陶系风化壳碳酸盐岩储集层属于古岩溶型,主要储集空间是溶蚀孔洞。本文根据古岩溶成因及发育特征,利用毛细管压力曲线、铸体薄片、阴极发光及物性分析资料,
生活是艺术创作的源泉，大自然是创造画境的蓝本，艺术表现有别于自然真实而高于自然真实，对景写生中饱含着主观创造意识。如何将现实中的自然形态转化成艺术表现中的审美意境，成了
低渗透致密气藏中的天然气十分丰富,但储采比极为悬殊,以增产为目的,贯穿于整个勘探开发过程中的低渗透改造工作已取得可喜成果。为此,本文总结了当前低渗透改造的现状,提出
多速度模式运行是现代中高速电梯的重要特征,而运行仿真是电梯群控仿真研究的基本环节.应用面向对象技术和基于事件扫描的数字仿真技术,在通用的Matlab开发环境中实现了电梯
本文介绍了焦汤节流制冷的基本原理和处理量为２５万ｍ＾３／ｄ的天然气分离设备的概况，总结了该设备地新疆投产运行的基本情况。
本文根据大斜度定向井的特点,论述了大斜度定向井从套管设计、套管检查、准备下套管和下套管中的问题,并提出了解决这些问题的方法。
介绍了基于MATLAB的自动控制原理虚拟实验系统.借助MATLAB强大的数据处理能力和绘图能力,实现了控制系统的可视化虚拟实验系统的构建.利用该系统可以实现实物实验所不能完成