基于扩展库所网的工作流过程规约和模式描述

通过扩展库所的属性, 给出了一种新的Petri网模型,用来规约工作流过程和表示工作流模式,并提出了一种称为参数化模式的新模式。通过区别变迁和工作流路由,使得模型中的库所和变迁能够分别表示引擎的动作和需执行的任务。基于传统的Petri网的工作流模型不适合描述工作流过程所代表的行为,因此提出了ST触发规则表达网模型的语义。     

基于Petri网的语义Web服务过程模型匹配算法研究

为了在服务发现中提高效率及准确率,在服务匹配过程中引入了服务执行状态的变迁等因素即服务的过程模型。而Petri网能够把Web服务的过程模型进行形式化描述．在服务发现中引入Petri网,通过Petri网描述web服务的过程模型,再对Petri网进行语义标注,最后通过计算过程模型的相似度来实现基于Petri网的语义Web服务发现匹配．这种方法结合现有采用功能性参数匹配的语义web服务发现对提高服务发现率,尤其对改善服务发现准确率起到了一定的作用．     

流体随机Petri网的混杂自动机模型

为了克服数值分析方法在流体随机Petri网模型检验中的缺点,根据形式化方法,本文提出了借助混杂自动机实现流体随机Petri网模型的分析和验证的有效方法,同时介绍了流体随机Petri网到一阶混杂Petri网模型的转化方法.并根据改变不变行为状态事件之间的相互作用提出了正确的一阶混杂Petri网模型行为演变算法,在此基础上给出了流体随机Petri网的混杂自动机模型构造方法.实例分析表明,借助一阶混杂Petri网的行为演变及混杂自动机能够有效地实现流体随机Petri网模型的分析与检验.     

一种扩展式动态环境演算范型的Petri网描述

为了以可视化的方式验证扩展式动态环境演算范型对移动协同中移动性和协作性的描述能力及描述语义的正确性,提出了一种扩展式动态环境演算范型的Petri网描述(PND).首先,给出基本演算实体的Petri网表示,用Petri网的顺序行为理论和并发行为理论中的变迁来表达任意动作,用库所来表达任意动作前后的各种环境状态及其变量.其次,给出演算实体的各操作语义关系的Petri网表示,并引入弧权重来刻画动作与其前后相关的环境、状态的相互作用关系.最后,引入了Petri网的合成理论,用简单Petri网合成法来构造动态复杂环境的模型.采用染色Petri网工具进行仿真,结果表明PND具有正确的描述语义,从而进一步为扩展式动态环境演算范型的有效性提供了有力的论证.     

基于Petri网的ECA规则集终止性分析

对于ECA(event-condition-action)规则集,由于其行为特性较为复杂,终止性分析比较困难.在Petri网理论的基础上,提出了一种扩展Petri网系统,建立了ECA规则集模型,能够较好地表示ECA规则的行为特性;利用Petri网分析方法,对ECA规则行为进行了分析,并利用可达图和T_不变量方法对ECA规则集的终止性进行了分析.经过实例验证,该方法效果良好.     

应用微分Petri网分析汽车再生制动模式的切换

针对混合动力汽车再生制动模式切换过程中引起的混杂系统的动态变化难以控制的问题,利用混杂系统理论,分析了混合动力汽车制动过程中的离散事件和连续状态变量对再生制动模式切换的影响.基于给定的再生制动控制策略,建立了再生制动混杂系统的微分Petri网模型,在以往建模方法的基础上增加了对离散事件的单独刻画,实现了对再生制动过程中的离散事件和连续状态变量的综合建模.通过Matlab/Simulink/Stateflow建立再生制动数学模型,实现了对再生制动过程中离散事件和连续状态变量的综合仿真,完成了再生制动模式判断和模式切换过程,结果表明微分Petri网用于再生制动混杂系统建模是合理和可行的.     

基于Petri网业务流程模型抽象方法研究

在传统的对模型抽象进行行为语义和控制流结构分析的基础上,提出了基于Petri网的业务流程模型行为轮廓的业务流程模型。将Petri网的理论和性质应用于业务工作流系统当中,能够从系统的运行过程和形式化的图形描述方式实现对工作流系统的快速建模和分析;定义了一个新的流程模型活动聚合公式算法,拓展了行为轮廓关于控制流结构上的模型抽象。     

一种基于本体的文本聚类方法

基于本体的文本聚类方法,在文本表示上引入WordNet,并定义了关键概念集,使用WordNet中的概念节点及概念间的语义关系减少文本特征向量维数,提高聚类效果.聚类过程中,算法使用文本的关键概念集和概念特征向量计算文本相似度,利用文本的关键概念集标注聚簇为聚类结果中的各个簇提供解释.实验结果表明,该方法有效地减少了文本特征向量的维数,提高了文本聚类效果以及聚类结果的可解释性.     

ASBS适应行为稳定性分析

研究了基于服务的自适应软件系统的适应策略构建中适应行为的稳定性分析问题.主要采用了基于反射Petri网模型的分析方法,在反射Petri网模型中系统的业务行为与适应行为在不同的层次分离建模,适应行为模型相对业务行为模型透明.结合系统的反射Petri网模型提出了适应行为稳定性的具体定义,给出了适应策略中适应规则的建模方法以及应用反射Petri网模型对系统适应行为进行稳定性验证的方法,并通过一个实例对方法的可行性以及有效性进行了说明.     

基于Petri网的敏捷制造业务过程建模研究

在分析敏捷制造业务过程的基础上,给出了该业务过程的Petri网系统描述,并提出了Petri网过程模型.该模型描述了敏捷制造中多因素相互间的动态行为,解决了其过程中各环节之间的并发性、异步性、分布性等问题.最后,运用可达树分析方法分析了网模型的活性.     

基于模糊Petri网的误用入侵检测方法

提出了基于模糊Petri网的误用入侵检测方法,并将类似于神经网络的学习引入模糊Petri网,以调整攻击知识模型参数. 理论分析表明,基于模糊Petri网的误用入侵检测系统具有更高的推理效率,能从环境中动态学习调整知识模型的相关参数,如阈值、权值、确信度. 仿真结果表明,在大多数情况下,学习调整后的知识模型能够提高误用检测系统的检测率.     

机器人装配过程任务级控制的同步Petri网方法

采用同步Petri网对机器人销孔装配过程进行建模,研究了任务级上装配状态变迁路径的评价方法及优化算法。由于装配作业存在零件定位、工件运动和传感信息等诸多不确定性和突发事件,使得预先编制的装配作业程序容易发生故障,通过对装配状态变迁过程中的力／位姿信息进行分析,可以建立销孔装配过程的同步Petri网模型,并实时产生优化的装配状态变迁变列。所提出的任务级控制方法可用于指导产生具体的装配状态变迁的速度指令,并可在错误的装配状态发生时收敛到最终装配状态,销孔装配试验证明了该方法的正确性。     

基于着色Petri网实现A星算法的生产调度优化研究

基于着色Petri网对A星算法进行建模,研究生产调度优化问题.利用着色Petri网的理论优势,简化了大规模复杂工艺生产过程的调度模型过于复杂的问题.直接建立A星算法的着色Petri网模型,对于生产调度研究中的跨平台问题给出了一种解决方法.通过着色Petri网仿真模拟软件CPN Tools构建了基于着色Petri网的A星算法实例和生产调度实例.     

基于Petri网的一种实时计划调度方法

基于实际生产环境中制造系统经常受外部随机事件影响，利用可分解Petri网把整个系统分解成若干个模块，然后对其中的部分模块进行短期的计划调度，使得变更后的生产尽可能和预先计划相一致，并给出了基于关键路径的调度算法，这样既可达到对外部事件作出快速反应的目的，又提供了较优的调度策略。     

一种有时间约束的复杂Petri网建模方法

在面向对象技术和时问约束Petri网的基础上,给出面向对象时间Petri网的定义、变迁发生的条件、后果等动态运行规则及建模方法,以降低有时间约束复杂系统的建模难度;提出时延关联矩阵的概念和计算方法,用于判断变迁是否有发生权以及计算变迁发生效果,证明相关定理,以增强系统的分析能力.在实际建模过程中,通过计算时延关联矩阵,找出系统的时间瓶颈,为改进和优化系统提供理论依据.通过保险索赔过程的建模和实例分析,证明了本文所提方法的有效性.     

电子支付安全协议的Petri网模型及分析

通过对电子支付安全协议的研究,利用Petri网描述了电子支付安全协议处理流程;根据可达树分析了电子支付协议Petri网模型的正确性、安全性、公平性、可达性和活性. 基于Petri网理论研究电子支付安全协议的工作,对于指导电子支付相关安全项目的研究以及解决实际安全问题具有一定的理论价值和实践意义.     

基于混合Petri网的农业生产工作流建模研究

根据农业生产的实际工作,建构一个基于混合Petri网的工作流模型.混合Petri网一般由连续和离散两个部分组成,模型连续的部分主要反映农田实际工作的进程,离散部分主要表示农机和劳动力等资源状况的变化,提出的模型还可以模拟在生产过程中的工作和间歇状态.仿真结果表明,混合Petri网模型能准确地描述农业生产的过程,在出现不确定因素的情况下能重新分配资源.该模型作为农业生产规划的参考模型,促进在不确定的环境中相关优化算法的发展.     

基于矩阵运算的产品拆卸过程规划

以模糊Petri网为工具,给出了模糊产生式规则推理Petri网模型,并将模糊Petri网与矩阵运算相结合,提出了一种模糊推理过程的形式化推理算法.在此基础上,针对产品拆卸过程中知识具有不确定性和模糊性的特点,采用模糊推理Petri网建立了产品拆卸路径决策模型,并通过实例,对所提出的拆卸路径决策算法进行了论述,结果表明此决策模型在产品拆卸过程规划中具有很强的并行处理能力,它可以根据产品在拆卸过程中零部件的信息对每一步操作做出适时的智能化决策.     

一种基于用例和Petri网的业务过程建模方法

在给出用例及其相关概念的形式化定义的基础上,构建了从用例到Petri网模型的映射算法;提出了一种基于用例和Petri网的业务过程建模方法.它先以用例来捕获需求,再用Petri网来图形化用例,以此来实现它们各自优势的互补.并且通过引入工作流建模中任务(task)这一概念来统一了用例描述的语法形式.     

柔性制造过程基于PETRI网与知识的诊断

讨论了柔性制造过程的监控与诊断问题．提出了一个有效的监控与诊断系统的结构和模型，探讨了基于ＰＥＴＲＩ网与知识的集成监控与诊断层次模型和集成诊断策略等问题．将ＰＥＴＲＩ网与基于知识的ＡＩ方法相结合，用于柔性制造过程的监控诊断，旨在提高监控与诊断的实时性、快速性和有效性