【摘 要】
：
为了满足企业对过程模型在描述能力和分析能力上的要求,提出了一个基于Petri网的分层工作流过程模型.在深入分析各种工作流模式的基础上,对基本网的进行了一些的扩展,通过增
【机 构】
：
北京航空航天大学计算机学院,北京,100083
【出 处】
：
第十次全国Petri网学术年会暨形式化方法学术讨论会
论文部分内容阅读
为了满足企业对过程模型在描述能力和分析能力上的要求,提出了一个基于Petri网的分层工作流过程模型.在深入分析各种工作流模式的基础上,对基本网的进行了一些的扩展,通过增加变迁入口函数,变迁体函数,消息机制,控制变量等,描述了工作流模式中的多实例,取消,高级同步等复杂模式.给出了工作流过程的描述模型DWF_net和分析模型AWF_net的形式化定义.描述模型DWF_net实现对各种复杂流程的直接描述.变迁入口函数通过对控制变量的判断,来消解DWF_net中的冲突.变迁体函数通过可扩展逻辑描述语句,来实现对控制变量的读写及收发消息等操作.AWF_net作为DWF_net的分析模型,剥离了DWF_net个案的语义信息,可以直接利用已有的Petri网分析技术来分析模型.最后,通过一个综合实例来说明如何使用本文提出的模型来对各种复杂流程建模和分析。
其他文献
摘 要：随着信息技术的发展，以往的教师主导的教学转变为了学生为主体的自主学习，与此同时还出现了网络自主学习模式。与传统评价体系不同，自然网络自主学习评价体系是一种师生互评的新型的自主学习评价方式，网络自主学习模式下的大学英语评价体系能够判断出学习者的学习价值，其目的在对学生的个性发展、能力以及认知进行观察，从而采取措施帮助学生进行英语学习。本文围绕着网络自主学习模式下大学英语评价体系的构建这一主题
由于高速公路交通流的不确定性,模糊控制是解决交通问题的有效方法。在此提出一种新的匝道模糊控制器,包括用于输出信号灯周期时间的模糊决策库和确定信号灯动作变换的转换函数两部分。交通状况的六个不同的因素作为控制输入。并根据性能指标将仿真结果与传统方法ALINEA进行了比较。
摘 要：运筹学作为交通工程专业的一门学科基础课，将为后续课程提供理论依据。目前我校已在数学、工程管理、交通工程等多个专业开设了该课程，但每个专业的侧重点不尽相同。本文结合湖南城市学院交通工程专业现状，针对目前运筹学课程教学过程中存在的不足，尝试性地提出了交通工程专业运筹学课程教学改革的一系列措施。 关键词：交通工程；运筹学；教学改革 运筹学是一门实践性很强的课程，是在进行定量分析的基础上，通过
创建服务型政府是近年来我国理论界和各地政府在深化行政改革中提出的一个目标选择.调查各地政府创建服务型政府的实践经验,研究创建服务型政府实践中暴露出的问题,对于指导
将插值问题中著名的Neville方法引入到灰函数的白化过程之中,研究一种介于“充足信息”与“贫信息”之间的一种折衷的函数逼近方法,这种方法不仅将贫信息问题的处理过程程序化,而且还为并行计算提供了一种可行的方案。
图书馆是高校信息资源的中心，也是高校加强自身建设的重要组成部分。本文结合独立学院图书馆存在的具体问题展开分析，结合实际情况提出解决办法。力图在一个具体的理论角度中，以
摘 要：黑龙江省少数民族双语教学师资培养研究立足黑龙江，面向少数民族基础教育，搭建少数民族基础教育双语教师培养的绿色通道。 关键词：少数民族；双语教学；研究 一、黑龙江省少数民族中小学教学现状 黑龙江民族职业学院的朝鲜语言文学教育专业和蒙古语言教育教育专业是传授和发展民族语言文学的重要阵地，在民族学校中使用本民族语言文进行教学，这有利于贯彻落实党的民族语言教育平等政策，有利于增进民族团结，少
提出了一种用于AUV视景仿真的海洋环境中海底地形和海流的虚拟实现方法。海底地形不但考虑了离散点电子海图数据,而且也将某些特征数据考虑在内,从而生成相对精度较高的海底地形。海洋中的海流采用两个层次的方法进行模拟:建立海流数据库方法以及水动力软件计算方法。该方法的研究对于AUV自主地形导航技术以及避碰策略等研究具有极为重要的意义,并且上述方法生成的海洋环境已经在AUV数字仿真平台中得到了应用。
IEEE802.11a是无线局域网中最重要的标准之一,它采用的是OFDM技术。由于IEEE802.11a系统特殊的前导信号,接收机可以利用IEEE802.11a前导信号的周期性而产生的自相关或者是接收信号和已知训练符号的互相关来进行符号定时估计。阐述了三种IEEE802.11a接收机的符号定时算法:一种是基于短训练序列的自相关符号定时算法;第二种是基于短训练序列的双自相关符号定时算法;第三种是基于