基于Petri网的工作流模型合理性研究

来源 :北京理工大学学报 | 被引量 : 0次 | 上传用户:michael8363
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网络(WF-net),在定义并证明两种不破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网(EFC-net).通过证明扩展自由选择网与自由选择网(FC-net)的最小死锁有相同的特征.通过引入获取最小死锁的算法,结合秩定理,给出了验证工作流合理性的算法.
其他文献
考察了高铁酸钾对聚合氯化铝(PAC)去除景观水体中藻类的强化效果,探讨了高铁酸盐预氧化对絮体结构的影响机理,并与高锰酸钾的强化除藻效果进行了对比。结果表明,高铁酸钾的预氧化
德州仪器公司的开放式多媒体应用平台OMAP(Open MUltimedia Application Platform)是一种为满足新一代多媒体信息处理及第三代无线通信应用开发出来的高性能、高集成度嵌入式处
资源产业制度由市场制度和政策制度构成,资源产业市场制度变迁包含市场经济制度创新和产权制度创新。论文立足于满足经济社会可持续发展要求的资源产业制度变迁安排,即主要以
积善成德“勿以恶小而为之,勿以善小而不为,惟贤惟德,能服于人。”这是刘备告诫儿子阿斗的临终遗言。作为国君在极其短暂珍贵的临终时刻留下这么一句看似平常的话,不能不令人疑惑
期刊
散打训练、练习的过程中,最需要注意的就是个人的安全问题,训练中自身的安全保护措施和注意防范问题成为散打训练的关注重点。随着时代的发展,武术的训练不仅仅是招数的学习,
以天山北坡的乌鲁木齐河、玛纳斯河和奎屯河作为典型流域,以出山口水文站多年序列水文气象实测资料作为分析样本,基于定性和定量相结合的研究方法,利用多种水文统计模型,全面
<正>东大海洋,有长沙、石塘数万里"在那云飞浪卷的南海上,有一串明珠闪耀着光芒……",这首电影插曲,以优美的词句和动听的旋律,传唱了数十年。三沙市,岛礁如诗,大海如歌,她就
从普通教育和职业教育的发展经历入手,研究总结我国现发展阶段,如何利用普通教育和职业教育分合经验,探究出既有利于我国社会生产力提高又有利于社会民主与教育机会均等的普通教
经济学的价值论通常被认为只是研究商品的交换价值的性质及其决定规律;事实上这只是商品价值论的一部分,城商品取得交换价值之前首先应当具备生产价值,而在同消费者的交换中还
阐述了微生物运移机制,包括促进微生物运移的动力过程、阻滞或延缓微生物运移的阻力过程及生物过程3个方面,其中动力过程包括对流和水动力弥散作用,阻力过程包括过滤、吸附及解