论文部分内容阅读
为了满足工作流模型在建模能力上的要求,提出一种添加复位弧对工作流网进行扩展的方法,并给出该方法的形式化表示方法。通过一个保险索赔模型,利用可达图对该方法进行合理性分析。最后,证明了带复位弧工作流模型的合理性是不可判定的。
基于Petri网的扩展工作流模型研究
【摘 要】
：
为了满足工作流模型在建模能力上的要求,提出一种添加复位弧对工作流网进行扩展的方法,并给出该方法的形式化表示方法。通过一个保险索赔模型,利用可达图对该方法进行合理性分析。最后,证明了带复位弧工作流模型的合理性是不可判定的。
【机 构】
：
长沙理工大学计算机与通信工程学院湖南长沙410114
【出 处】
：
计算机应用与软件
【发表日期】
：
2013年09期
【基金项目】
：
湖南省自然科学基金项目（08JJ3124）.
其他文献
1,3-丁二烯作为化工领域重要的基础原料,广泛用于合成橡胶、合成树脂和精细化工产品的生产。目前,丁二烯主要来自于乙烯裂解副产C4馏分抽提工艺,由于对石油资源的过度依赖、
根据各地蛋鸡存栏、价格波动等实际情况分析,2005年蛋鸡养殖形势将以稳中微降为主导趋势
2015年，南京市江宁区共完成“千百工程”28个重点整治村和95个一般整治村建设任务。整治过程中，各村遵循村情实际及本地老百姓意见，在注重硬环境提档升级的同时，注重软环境整治。
对物联网技术体系的整体架构和关键技术要点的发展现状进行梳理,着重对移动无线接入、近距离通信、物联网平台等技术热点进行现状和趋势分析。同时针对物联网碎片化市场、产
目的：测量Nd-YAG激光在不同能量功率及间隔时间照射下髓腔内的温度变化。方法：收集60颗离体恒牙，分为前牙、前磨牙、磨牙3组（n=20）。每组根据不同的激光照射功率（0．4W、0．8W）和不同的
【正】 香港银行监理处的统计显示,截止今年一月一日,香港共有本地或外国注册的银行136家,办事处数目1,531家。目前香港大约有人口五百二十多万人,以现有的银行办事处数目计
目的：探讨HIF-1α在口腔黏膜下纤维化（OSF）中的作用。方法：采用免疫组化SP法,用缺氧诱导因子-1α（HIF-1α）兔抗人多克隆抗体检测30例OSF患者及5例正常对照者口腔黏膜组织中HIF-1α
一、宏观经济运行显现企稳,下行压力依然严峻据国家统计局发布数据显示,9月份,我国规模以上的工业增加值同比增长,由8月份的6.9%升至8.0%。分行业来看,电子设备、汽车制造、
最近，通过学习《国务院关于深化棉花流通体制改革的决定》，笔者认为商品棉花收购资金信贷管理的收购、库存、销售三个环节，与１９９８年４月份开始推行的粮棉油收购资金封闭运行管理原则相