工作流模型的有向图表示及基于Petri网的验证方法

来源 :计算机仿真 | 被引量 : 20次 | 上传用户:cxzafasaasassadf
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从工作流模型的基本结构出发 ,描述了模型结构的有向图表达方法与建模方式 ,提出了一种将有向图转化为Petri网的转换算法 ,说明Petri网与工作流网的关系 ,之后运用Petri网的分析技术来验证模型的正确性 ,为电子政务领域内工作流模型的正确性验证提供了一种解决方案
其他文献
四川省农业农村厅制定的《四川省二类农作物病虫害目录》2021年2月9日发布,桑螟被列入四川省二类农作物病虫害目录。目录中包括了亚洲玉米螟等9种虫害、小麦白粉病等6种病害
语篇分析教学是大学英语精读课教学的一个重要方面,也是要达到对课文深层理解的一个重要手段.文章对语篇教学的内涵及其产生的积极意义进行了详细的分析和讨论,希望能使更多
近年来,随着我国工农业现代化进程不断加快,城市生活垃圾和污水排放以及矿山开采等活动使土壤重金属污染日益严重。重金属进入 土壤后,可被蔬菜和作物吸收富集,对人体造成健
目的:分析β受体阻滞剂治疗对慢性心力衰竭患者的影响。方法:选取2019年1月~2020年3月某院收治的慢性心力衰竭患者126例,根据患者治疗方案的不同分为研究组(采用β受体阻滞剂
班主任应以把班级管理纳入科学化、规范化、有序化轨道。针对学生的心理特征,在班内开展规范评比活动,建立一套完善的评估机制,用量化的形式进行管理。量化管理方式的主旨是:奖惩
在LMS牛顿算法中权值的更新采用了输入信号矢量的相关矩阵估计 ,不同的估计方法对算法的性能影响很大 ,该文分析了一种改进相关矩阵估计的LMS牛顿算法 ,该算法通过对LMS牛顿算法中的相关矩阵采用改进的指数加权估计 ,大大提高了算法的性能 ,同时维持了适中的计算复杂度。此外 ,还比较了LMS牛顿算法与RLS算法 ,从原理上说明了它们的密切联系 ;指出算法改善性能的关键在于变步长特性 ,即步长随着时间
该文首先介绍了对非HLA仿真系统进行HLA兼容性改造所面临的主要问题 ,并说明了进行改造的基本原理和所涉及的一些基本概念。然后提出了对非HLA仿真系统进行HLA兼容性改造的方法和主要步骤 :对非HLA仿真系统的SOM开发、HLA接口开发、解决联邦成员独立于FOM的重用问题等。最后进行了总结。
文章在明确职业技术人才的概念与特征的基础上,从发展社会生产力、促进科技进步、企业生存和发展及实施西部大开发战略等方面论述了职业技术人才的重要作用。
随着部队装备建设的发展,新装备的训练教学显得尤为重要。在分析目前仿真技术发展的基础上,重点讨论了仿真技术在军事上的应用,并针对目前普遍缺少训练实装的现状以及半实物仿真的局限性,提出了一种"数学仿真"的概念,并对涉及到的实现技术-数字仿真技术,多媒体技术和虚拟现实技术进行了讨论。结合通用性、逼真性、智能性和标准化的基本指导思想,最后具体介绍了一个的仿真实例-某型电子设备训练仿真系统。
对于任务驱动教学来说,其是以建构主义理论为基础,强调教学效果的任务性,从而对学生的积极性进行有效调动。本文结合实际教学经验,对任务驱动教学法在高校体育教学中的应用策