基于Petri网的集成系统工作流建模的研究

来源 :南开大学学报:自然科学版 | 被引量 : 0次 | 上传用户:jjjuuu52107
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在分析大量实际工作流特征的基础上,总结了实际工作流执行中的路选结构情况,在此基础上改进了WMFC提出的Petri网工作流模型,提出了基于Petri网技术构造工作流模型的FA-PN网(Flow A PetriNet)并介绍了使用所建模型构建实际复杂合同评审系统的Petri网工作模型.另外详细阐述了扩展法构建Petri网工作流模型的过程,并提出了模型结构正确的证明方法.最后介绍了一种对模型结构的冲突情况进行仿真分析的仿真法,可用来验证模型的正确性.
其他文献
介绍了一种室内移动机器人CASIA I .对该机器人的运动机构做了较为详细地阐述 ,针对该运动机构给出了机器人的运动方程和一种导航控制算法 ,并根据该算法进行了软件仿真和实
采用稀硝酸分解试样、ICP-AES光谱法同时测定碳素钢中13种微量元素Al、As、Co、Cr、Cu、Mn、Mo、Ni、P、S、Si、Sn和V.样品分析结果与推荐值相吻合.方法精密度RSD值小于5%,样
本文采用0.25um CMOS工艺,设计了一种rail-to-rail运算放大器,该放大器用2.5V单电源供电,其输入共模范围和输出信号摆幅可以达到零电源电压,单位增益带宽为320MHz,相位裕度为
后现代主义作为一种产生于西方并波及全球的文化思潮,是随着现代主义的衰落而崛起的,因此是对现代主义的一种批判与超越,是对于信息社会的一种调整与适应。后现代主义及其思维方式看上去好像是丧失了人的主体性,实际上是在重新确立人与生存环境的相互关系,是在后工业社会的条件下力求表达和确定自我的一种方式。比较艺术研究可以借助后现代思维去把握未来,去寻求和建造不同艺术之间、不同文化之间,以及最重要的艺术与生活之间的桥梁
提出解决具有开,完工期限制的约束Job-shop生产调度问题的一种神经网络方法,该方法通过约束神经网络,描述各加工约束条件,并对不满足约束的开工时间进行相应调节,得到可行调度方案。然后由
目的:研究神经细胞移植修复大鼠周围神经损伤的效果。方法:(1)分离培养BMSCs,诱导分化为神经细胞并进行鉴定;(2)CM-Dil标记神经细胞,建立大鼠坐骨神经损伤模型后随机分为对照组、DM
面对今后的话剧发展,最重要的是在重新反思历史的前提下,给话剧艺术以新的合理的定位。对于话剧工作者来说,关键在创作的同时还要学会运作。