基于Petri网的合同网任务动态分配模型

文章根据合同网的任务动态分配思想,将多个主体划分为管理者主体和工作者主体2种类型,借助Petri网对任务分配过程中主体之间的协作及信息交互行为进行刻画,建立了具有固定数目的工作者主体和具有不定数目的工作者主体的动态任务分配模型,模型能够描述任务动态分配过程中所有可能出现的情形;同时对网模型系统的有界性、有效终止性和无死锁性进行了形式化的证明.     

基于Petri网分解的系统范例分析

以生产者一消费者系统和多处理机系统为例子,讨论了基于库所指标和变迁指标的两种Petri网分解方法在系统分析中的作用,分析了分解后的子系统与原系统的结构和行为方面的对应关系,为基于Petri网的复杂系统分析提供了有效的方法.     

基于对象Petri网的电网调度操作票任务分解方法

本文提出了基于面向对象Petri网技术的操作票任务分解方法．对分解后的单一操作任务再使用基本Petri网进行推理,从而解决了基本Petri网在建立电网调度操作票专家系统规则库时遇到的组合爆炸问题。通过分析给出了算法的对象划分、结构封装、对象间的消息传递关系以及图形化的建模;所设计的对象结构及对象关系保证了系统的安全性;最后结合算例阐述了具体的技术方案。算例结果表明了该方法的有效性。     

基于时间Petri网的Artifact有效性的验证

在面向Artifact的业务流程管理系统中,业务核心数据实体Artifact具有动态时变性。Artifact状态是否正常关系到流程的运转成功与否,因此,验证Artifact的有效性是一个关键问题。针对该问题本文基于时间Petri网理论对Artifact的相关流程进行分析并获得其业务要求树,然后根据流程记录数据库中Artifact的快照构建出相应快照树,最后通过比较业务要求树和快照树而得以验证Artifact是否有效。     

产品协同创新设计任务分解及资源分配

针对产品协同创新设计任务分解及分配的复杂性问题,考虑设计任务间的依赖关系及创新主体的设计能力约束,提出了基于层次功能结构任务映射及协同伙伴模糊搜索匹配相结合的任务分解模型;在研究设计资源分类属性的基础上,为弥补设计任务优先级资源分配策略的不足,建立了考虑资源使用阈值的设计资源分配模型,并基于时间有色Petri网进行任务资源分配仿真建模;导入某品牌手机产品协同创新研发实例,验证了所提模型的有效性。     

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

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

Petri网的对偶运算及性质

给出了对偶Petri网的加法、笛卡尔积、并运算及有关性质 ,得到了对偶Petri网运算的一些结果     

对偶Petri网的运算及性能分析

给出了对偶Ｐｅｔｒｉ网的加法,笛卡尔积,并运算及有关性质,得到了对偶Ｐｅｔｒｉ网运算具有结构性质的条件     

混合随机Petri网

二阶流体随机Petri网是一种用于计算机和通信系统性能与可靠性评价的建模机制.混合随机Petri网是对二阶流体随机Petri网的进一步拓展,其中,流体跳跃弧作为建模原语被赋予瞬时清空与之相联接的连续库的功能.给出了混合随机Petri网随机标识过程的动态方程,在该方程的推导中,首次将同时伴有流体跳跃发生的离散状态转移考虑在内.最后对流体流动速度随连续标识变化的情况下的边界条件进行了分析,使得可直接用数值方法对动态方程进行求解.     

Petri网应用研究

本文介绍了Petri网的基本概念及其发展，以及Petri网的研究方向，讨论rPetri网与面向对象技术的结合，以及Petri网在CIMS领域里的应用研究。     

Petri网中的数学方法

根据矩阵理论提出了计算Petri网S不变量和T不变量的一种比较简单和通用的算法,基于数理逻辑得到求解Petri网虹吸和陷阱的一般方法.     

面向对象Petri网及其在告警服务代理软件中的应用

首先介绍面向对象Petri网(OOPN)的定义和图形表示法,接着以告警服务代理软件设计为例,对其OOPN进行了详细分析,最后给出该系统实现的主体代码结构。     

基于Petri网的工作流技术在信息系统中的应用

以某汽车零配件供应商开发的产品数据管理系统PDM-flow为研究背景,分别介绍了基于工作流技术的信息系统的体系结构、各组成部分的实现方法、系统开发模式以及使用Petri网设计业务过程的一些经验。系统体系结构借鉴了国际工作流管理联盟的(WFMC)工作流参考模型,以工作流引擎系统JBPM为核心构件实现了工作流管理系统的各个组成部分,希望对工作流技术和Petri网技术的使用以及实现类似系统有一定的借鉴作用。     

基于Petri网的工作流技术在信息系统中的应用

以某汽车零配件供应商开发的产品数据管理系统PDM-flow为研究背景,分别介绍了基于工作流技术的信息系统的体系结构、各组成部分的实现方法、系统开发模式以及使用Petri网设计业务过程的一些经验。系统体系结构借鉴了国际工作流管理联盟的(WFMC)工作流参考模型,以工作流引擎系统JBPM为核心构件实现了工作流管理系统的各个组成部分,希望对工作流技术和Petri网技术的使用以及实现类似系统有一定的借鉴作用。     

基于PETRI网的政府办公系统工作流建模研究

提出了一种基于PETRI网的政府办公系统工作流建模研究方法。讨论了该工作流程的控制关系及约束条件等。用一个实例对所提出的建模方法进行了说明。实际表明该建模方法简单、可行，并能保证工作流模型的有效性。     

网格计算中任务分解和提交的研究

网格计算环境通过把若干个分散的异构计算资源虚拟为一个逻辑单元,使用户可以像使用一台计算机一样支配这些资源,从而达到提高资源利用率的目的。通过讨论使用Globus对应用程序进行任务分解和提交,得出如下结论：对于适合分解的应用程序,可以通过在虚拟计算环境进行分解后采用并行计算来提高应用程序的执行效率,但不适合实时性较强的应用。     

煤矿综采工作面生产系统的Petri网分析方法

对煤矿综采工作面生产系统的可靠性用Petri网进行了分析，建立了系统的故障模型，在此基础上以煤矿综采工作面为例进行了建模，为综采工作面系统的可靠性分析提供了一种新的思路与方法。     

一种基于属性抽取与整合的Petri网模型

将感觉神经检测机制融合于Petri网中，提出了一种新的基于属性抽取与整合的感觉神经检测Petri网模型，使得Petri网更加适合于对神经思维的描述，提高了系统的智能行为。     

故障诊断的模糊Petri网模型

针对故障诊断系统知识具有不稳定性和模糊性的特点，给出了Petri网的定义和故障诊断的模糊Petri网模型，并以实际故障诊断为例，说明了该模型具有直观，表达能力强和易于推理的优点。     

基于模糊着色Petri网的车辆行驶状态估计

车辆行驶状态的有效估计是改善综合交通运输效能的有效途径,针对车辆行驶过程数学模型难以准确建立,依据车辆的行驶状态流跟Petri离散并行系统的相似性,提出利用具有良好层次化和时序性特点的Petri网建立车辆行驶状态估计模型。分析影响车辆状态变化的影响因素,将车速、车辆质心侧偏角以及车辆横摆角速度作为描述车辆状态属性指标,并确定输入的论域以及隶属度函数,依据车辆运动状态的可控性和驾驶舒适性建立相应的模糊规则。最后,在CPNtool中构建车辆行驶状态估计模型,采集路车试验数据对模型进行训练与测试,结果表明,Petri网模型不仅能够以可视化方式充分展现车辆状态变化过程,且能够通过着色的库所变迁确定影响车辆状态发生的关键性因素,模型的估计结果逼近真实值。