库所
- 基于逆向搜索的模糊Petri网分层算法
层次结构不清晰、库所/变迁间从属关系不明确的问题，提出一种基于逆向搜索的FPN分层算法（HFPN-RS）以实现非层次化FPN到层次化FPN（HFPN）的自动转换。首先，从终结库所开始对整个FPN进行逆向搜索，将所有输入库所的前集、输出库所的后集分别划分在同一层；其次，通过添加虚库所-虚变迁对的方式明确整个模型的层次结构；同时提出两条相关定理以明确HFPN分层层数的下确界和层次化操作中需要添加的最少虚库所-虚变迁对数，并给出经层次化操作后具有完整分层结构的F
计算机应用 2023年12期2024-01-09
- 基于Petri网模型的高铁6‰下坡道延续进路防护方法
模所需的元素包括库所（place）、变迁（transition）延时和令牌（token），分别对应轨道区段、列车出清时间和列车。以三要素为基础，构建延续进路防护模型，仿真列车运行过程，以形式化验证方法对延续进路进行安全性验证。2.1 Petri网基本原理2.1.1 基本结构以示例站下行方向ⅠG接车进路为例，其对应模型见图2。库所xI被标记，表示通过按压进路始、终端按钮选排了ⅠG的接车进路，若库所ⅠAG、ⅠDG、ⅠG同时被标记，表示对应的轨道区段处于空闲状态
铁道通信信号 2023年10期2023-10-25
- 基于Petri网的崇凭铁路车站联锁进路建模与仿真
Petri 网的库所、变迁延时和托肯在本文中分别对应于轨道区段、列车出清对应轨道区段的时间和列车，通过这三要素把列车在站内按计划调度运行的过程动态仿真，进而进行形式化验证。2.1 排列进路模型崇左南站IG 平面如图2所示，基于图2所建立的站内调度综合模型如图3所示。IG 接车进路在模型中开始的库所为XI1，当道岔区段1DG、7DG、13DG所对应的库所S1、S7和S13均被标记时，变迁tI1使能并带走库所XI1、S1、S7和S13的托肯，同时发射一个托肯给
高速铁路技术 2022年5期2022-11-24
- 基于Petri 网的平交道口信号设备故障诊断方法
分称之为网。网由库所、变迁和弧组成，弧是带有方向的有向弧，库所和变迁依靠有向弧连接，有向弧上带有权值，托肯表示图中的状态信息。在Petri 网模型的图像表达中，库所用图形圆表示，变迁用细长的矩形表示，托肯用小黑点表示，库所中可以有若干托肯，当托肯数量较大时可用数字替代小黑点。基本定义如下。Petri 网是一个四元组，用N=(P,T;Pre,Post)表示，其中：P表示有限库所（Place）的合集，P={p1,p2,···,pm}；T表示有限变迁（Trans
铁路计算机应用 2022年6期2022-06-30
- 基于带抑制弧的Petri网表示的嵌入式系统模型的子网化简
]给出了一种减少库所和变迁数量的方法。对于PRES+系统，Xia[6]提出了化简规则，在一定条件下，化简后得到的PRES+与原模型完全等价。本文的主要动机是给出PIRES+保性化简规则，使得化简前后保持可达性、功能性和实时性等性质不变，不用进行可达空间分析，从而达到缓解状态空间爆炸的目的。1 相关概念定义1PRES+模型N=(P,T,FI,FO,M0)，其中：P={p1,p2,…,pm}是库所的有限非空集合；T={t1,t2,…,tm}是变迁的有限非空集合
计算机应用与软件 2022年3期2022-03-18
- 基于Petri网军民共用停机坪运行仿真与分析
2,…,pn}为库所的有限集合，用圆圈表示；n=|P|>0为库所的数量。(2)T={t1,t2,…,tm}为变迁的有限集合，用长方形或粗实线段表示；m=|T|>0为变迁的数量。(3)F为流关系，用单项箭头表示。F=F1∪F2，称为有向弧集。其中F1⊆PT，表示从P～T的二元关系；F2⊆TP，表示从T～P的二元关系。即每个库所或变迁一定存在一个变迁或库所与之相连接，不存在孤立节点。(4)K：P→R+(R+代表非负整数集合，集合P到自然数的映射)为库所上的容量
科学技术与工程 2022年2期2022-02-18
- 基于广义随机有色Petri网的测试性建模方法
网，其中：P表示库所，T表示变迁，F为弧权函数，M0为初始标识。1)N为基本网。2)M为系统状态标识，M:P→Z，Z为自然数。3)变迁发生规则：①变迁t∈T，若∀P∈t*，M(P)≥1，则t可被触发，记作M[t>，其中t*为变迁t的后置集，M(P)为库所标识。②M′为触发后标识，则记作M[t>M′. 其中p为某种故障模式的故障检测率；*t为变迁t的前置集；标识M可以用1个非负整数的m维向量表示，向量元素满足M(i)=M(Pi)，Pi为一个库所，i=1,2,
兵工学报 2021年3期2021-05-06
- 基于FPGA 的有色Petri 网仿真系统设计*
下对P/T 网(库所/变迁网)进行的建模及模型的仿真验证；并且在通用计算机系统上，存在模拟PN 并发性低效与仿真速度慢的问题。现场可编程门阵列(FPGA)提供了一种新的建模方法。 FPGA 与通用计算机系统相比具有速度快、可重构和能效比高的优势，并且可直接描述Petri 网异步并发的特性。 随着Petri 网规模的扩大与复杂度的增加，FPGA 的速度优势会越来越明显。目前对基于FPGA 的PN 仿真系统的研究较少，且大多数涉及Petri 网的研究，都是以P
电子器件 2021年1期2021-03-23
- 复合Petri网的主从式多智能体通信建模方法*
对Petri网的库所属性进行定义，建立相应的Petri网处理模型。并且在此基础上，构建基于主从式多智能体编队的实验场景进行模型验证，结果实现了编队的通信过程，表明Petri网可以对主从式多智能体系统通信建模处理、对消息的通信可靠性提供保证，并能缓解通信消息对系统计算资源的压力。2 基于Petri网的主从式智能体通信2.1 主从式智能体通信在主从式多智能体中，消息分为智能体可识别消息(高优先级消息和一般消息)和智能体不可识别消息(错误消息，包括噪声和空消息)
计算机工程与科学 2021年2期2021-03-01
- 基于Delphi-模糊Petri 网的航空发动机故障诊断
[8]：（1）用库所（Place）来表示状态，一般用圆表示。（2）用变迁（Transition）表示事件或者转换过程，一般用矩形来表示。（3）用流关系（Flow Relation）表示事件发生的条件，或者用弧（Arc）来表示库所与变迁之间的关系。（4）标志（Token）一般用库所里的点来表示，或者直接写成数字，表示系统中的数据、状态或者资源。以上要素构成了网（Net）的基本结构，如图1所示。图1 基本Petri 网的结构不同的文献在不同的应用背景下，对模糊
航空发动机 2020年6期2021-01-12
- 基于Petri网的单元控制系统及编程研究
C程序设计中融入库所、变迁、托肯、有向弧的元素，实现Petri网并发、争夺、共享资源的特性，最后，面向Petri网模型中的对象，将Petri网模型中的对象快速映射至PLC程序中，使PLC运行逻辑与Petri网模型保持一致。本文以舱体制造单元为例，阐述了该方法的应用。Petri网；仿真；控制系统；PLC程序设计1 引言随着航天的快速发展，航天飞行器关重件对制造品质的要求不断增强，应用自动化制造单元的需求也随之增长，同时，同类结构件在制造单元中的适应性要求不断
航天制造技术 2020年6期2021-01-05
- 基于FPGA的Petri 网模拟器设计与实现
2、s3、s4为库所，t1、t2、t3、t4为变迁。在使用Petri网模拟系统时，M0来描述其初始状态。在初始状态时，因为可能有不止一个变迁具备发生权，使得系统存在着多种可能性。只要有变迁发生，系统就会进入一个新的状态，同时得到新的标识M1。在新标识M1下可能也会存在有发生权的变迁。网系统就是伴随着变迁的发生而运行的。图1 典型的基本Petri网Petri网可看作是对状态机的一种推广：变迁起源于多个活动状态，若干状态可能需要处于活动状态才能使能变迁。Pet
实验室研究与探索 2020年11期2020-12-11
- 基于部分状态空间存储的Petri网库所界求解算法
如果能够求出每个库所p的界b，那么在系统设计时，只要库所p所表示资源的容量不小于b，就能保证系统正常运行.此外，库所界的信息还可以指导可达标识的存储，通过位存储的方式减少存储可达标识所需的空间.也就是说，若已知库所p的界为b，则只需lbb比特的存储空间来存储该库所的标识数.目前求解库所界的方法有两种：一种方法是完全生成状态空间[2-3]，但对存储空间的要求过高；另一种方法是用P 不变量估计库所界[4]，但存在无法精确求解所有库所界的问题.为此，本文提出了一
应用科学学报 2020年5期2020-10-21
- 基于Petri网的区块链应用系统业务流程模型研究
P为Petri网库所的集合，库所用于表示流程路径的Token容器，∀p∈P称为一个库所；(2)T为交易的集合，区块链应用的原子任务称为交易，T有两个子集U和S，U是数据层操作交易的集合，S是应用层交易的集合，T=U∪S，U∩S=∅；(3)V是对交易进行分布式共识计算后的验证状态的集合，∀v∈V∧∀v(v=0∨v=1)；(4)F是连接交易和库所之间的弧的集合，∃t1∈T∧∃t2∈T⟹(t1,t2)∈F∨(t2,t1)∈F。推理1在PCN中至少包含两个特殊的库
计算机应用与软件 2020年9期2020-09-09
- 运动想象脑机接口系统的Petri网建模方法
方法.1 带控制库所的合成Petri网1.1 带控制库所的Petri网采用的Petri网结构可定义为一个五元组PN={P,T,E,W,m0}.式中:P是一个数量有限且不为零的库所集；T={t1,t2,…,ti}是一个数量有限且不为零的变迁集；E⊆(P×T)(T×P)是一个有序对的集合，表示库所与变迁之间的有向弧；W:E→Z+是一个正整数集合，表示在有向弧上的投影，即权值；m0是系统的初始标识，描述系统在初始状态时，每个库所里拖肯(token)的数目.在建立
华侨大学学报（自然科学版） 2020年1期2020-02-27
- 时间约束下任务关键系统的可调度性分析
,文中给出每一个库所的时间约束最大值,即Vpmax。另一方面,将任务根据不同的重要程度分为不同的等级,文中将其分为2个等级。定义1关键系统中的任务分为关键任务和非关键任务。其中,关键任务是为完成最终任务必须要执行的任务,且每个工作流程中最少要有一个关键任务。1.2 TCCP-Net定义定义2时间约束着色Petri网(TCCP-Net)。一个时间约束着色Petri网是一个七元组:TCCP-Net=(P,T,F,M0,C,PT,D)。1)P:描述系统库所(Pl
计算机工程 2018年12期2019-01-02
- 基于展开的状态空间搜索方法
个有向二分图，由库所和变迁组成。可达图作为分析Petri网动态性质的一种重要分析技术，被大量广泛使用。但是，基于可达图的状态空间搜索方法需要考虑并发事件间所有的交织可能，进而导致状态空爆炸。也就是说，使用基于可达图的状态空间搜索方法对并发系统进行分析时，常常面临效率低下的问题。针对上述问题，McMillan在1995提出了展开（unfolding）的概念。与基于可达图的状态空间搜索方法相比，基于展开的状态空间搜索方法不需要考虑并发事件间的所有可能交织，可避
电子技术与软件工程 2018年10期2018-07-16
- 基于信息驱动机制的导弹作战流程建模问题*
模型建立2.1 库所类要素模型库所是作战流程中事物、条件或对象的抽象，是资源和信息的容器，是活动执行和发生的实体、通道或地理位置。提取导弹作战要素作为Petri网模型的库所，如指挥节点、武器系统、关键战位等，记作p。不同的库所可以描述处于不同状态下的同一作战要素。在此，对传统库所进行属性拓展，并将拓展后的库所抽象成实体类模型。在此约定，M（p）表示库所p的状态，M表示库所集p的状态。2.1.1 模型定义1）静态属性描述静态属性是对库所固有信息的描述，包括：
火力与指挥控制 2018年6期2018-07-13
- 基于模糊Petri网的架空输电线路状态评估
8]。其中P表示库所集合，涵盖所有的状态元素。T表示变迁集合。F表示流关系。经典Petri网模型可用于明确、量化的推理场景中。架空输电线路状态评估为模糊推理，难以采用经典Petri网模型。模糊Petri网（fuzzy petri nets, FPN）在经典Petri网的基础上，具有了模糊推理特性和良好的容错能力，适用于架空输电线路状态评估。1 FPN网络结构及算法本模型采用单层单指向FPN。单层表示FPN没有中间层，仅有输入层和输出层。单指向表示FPN中的
电气技术 2018年6期2018-06-21
- 基于事件起点的层次化时序Petri网及其电网故障诊断方法
某元件相关的多个库所时序关联矩阵,对比典型时序关联模型对保护和断路器的告警信息进行纠错;文献[12]对线路两侧不同保护、断路器之间的时序进行交叉检查,得到保护与断路器之间时序配合的一致性并修正诊断模型;文献[13]考虑元件故障、保护动作和断路器跳闸之间的延时约束,通过将时序约束网络和模糊Petri网进行融合实现错误警报的自动过滤。上述方法应用于电网故障诊断有一定的容错性和适应性,但存在以下局限:①对于告警信息时序特性的利用主要局限于告警信息的筛选和验证阶段
电力自动化设备 2018年2期2018-05-18
- 基于拟间接依赖的流程挖掘优化分析
：（1）P是有限库所集，T是有限变迁集。（3）F=(P×T)⋃(T×P）表示PN 的流关系。在Petri网PN中存在一种弱序关系，即包含T×T所有的变迁对(x,y)中存在一个发生序列δ=t1t2…tn，当i∈{1,2,…,n-1}时，i＜j≤n有ti=x且tj=y,x≻y，依据这种弱序关系定义了行为轮廓。定义2[12]（Petri网的行为轮廓）PN=(P,T,F)是一个Petri网，对任意的变迁对(x,y)∈(T×T)，满足下列关系之一：则以上几种行为关系
计算机工程与应用 2018年9期2018-05-08
- 考虑非周期消息的1553B总线Petri网建模与分析
…,pm}是有限库所集合，m表示系统中库所的数目。•T={t1,t2,…,tn}是有限变迁集合，n表示系统中变迁的数目。•A是有限弧集合，满足：P∩T=P∩A=T∩A=∅。•N是节点函数，定义为N:A→P×T∪T×P。•C是颜色函数，定义为C:P→∑。•G是警戒函数，定义为G:T→Expressions。•E是弧表达式函数，定义为E:T→Expressions。•I是初始化函数，定义为I:P→ClosedExpressions。CPN颜色集决定了CPN中标
计算机应用与软件 2018年2期2018-04-18
- 基于CPN的OAuth协议建模与分析①
有替代变迁和融合库所,可利用多个彼此联系的CPN网子模型构建复杂系统的整体模型.(2)可实现推理.具有变迁机制,库所被触发后变迁到达新的库所,因果关系明确.(3)可处理并发或顺序性问题.具有时间因子可以处理不同行为发生的时间.(4)有较完善的仿真工具,可使用CPNTools工具进行可视化建模和仿真分析.4 OAuth2.0协议建模4.1 OAuth2.0协议的顶层模型基于CPN的OAuth2.0协议顶层模型如图2所示,定义模型的颜色集和变量如下:colse
计算机系统应用 2018年2期2018-03-02
- 基于时间Petri网的综合航电系统时序验证分析
,…,pn}，为库所的有限集合；T={t1,t2,…,tn}，为变迁的有限集合；I：T→P为从变迁到所有库所得输入映射函数；O：T→P为从变迁到所有库所得输出映射函数；F?(T×P) ∪(P×T)为库所和变迁之间所有关联弧的集合；δ={δ1,δ2,…,δn}为对应所有变迁的时间约束条件集合。图1 一个简单的TPN为了方便后续的讨论，假设pi和tk为TPN中的某个库所和变迁，则定义tk的最近前驱库所集合NPre(tk)、前驱库所集合Pre(tk)、最近后继库
计算机测量与控制 2017年11期2017-12-15
- Petri网的任务分解原理概述
，其中:P为模糊库所的有限集合；T为模糊变迁的有限集合；D为定义在T上的实函数；M0为初始标识。任务映射为库所集，逻辑规则映射为变迁集，元任务的可信度映射为模糊 Petri 网的初始标识。任务分解序列采用Petri网建模后，任务分解规划问题将转化为最优变迁序列激发问题，激发序列的优化是在可行激发序列内实现的。模糊Petri网推理是一种基于目标驱动的推理，即寻找与目标任务相关的最可能的分解，对任务分解的解释可通过的动态来显示，是一种有效的分解方法。模糊Pet
电子世界 2017年15期2017-08-30
- 针对并行软件待测行为测试的模型化简方法
、同步变迁、分叉库所、汇合库所等特殊节点的个数分成若干个子模块；其次，判断待测行为在模型中的位置，建立待测行为测试集；最后，对每一个并行模块中符合化简条件的非待测行为设定执行优先级。通过对化简前后状态空间分析报告的对比，状态空间中节点的缩减率至少达到40%以上，并且在化简前后对于待测行为生成的全覆盖测试路径不受影响。着色Petri网；并行软件；待测行为；优先级；测试集；全覆盖0 引言随着软件技术和产业的发展，并行软件已经成为常见的软件形式，并且在软件的开发
计算机应用 2017年5期2017-07-31
- 直觉模糊Petri网的双向模糊故障推理算法*
，则需要不断调整库所和变迁的可信度、阈值或权值，直到两者结论相符为止。例如文献[2]提出将正反向推理相结合，并给出相应的诊断推理算法，实用性较强。针对故障诊断中存在的不确定性信息的问题，文献[3]通过改进的模糊Petri网算法有效地解决了故障诊断过程中不确定性知识的模糊推理，通过引入虚库所和虚变迁概念解决了变迁是否触发以及最后故障事件模糊值的确定问题。文献[4]将模糊Petri网应用于高速铁路牵引供电系统故障诊断，能够在不确定或信息缺失的情况下，提高故障区
计算机与生活 2017年6期2017-06-15
- 模糊Petri网在某型载车系统故障诊断中的应用
糊Petri网由库所P和变迁T组成，它将模糊产生式规则中的命题看作库所，用圆圈“○”表示；将模糊产生式规则中的推理过程看作一种变迁，用竖线“|”表示；命题之间的因果关系用库所和变迁之间的有向弧表示。为了更好地解释模糊Petri网（Fuzzy Petri Nets），这里将其定义为一个九元组[7]：FPN（P，T，D，I，O， f，α，β，λ）；根据上述定义，将1.1中的模糊产生式规则用模糊Petri网的形式表达出来，如图1所示，从图中可以看出，故障状态的传
数码世界 2016年11期2016-12-19
- 基于蚁群算法和Petri网的井下有轨运输调度优化
信息素与变迁输出库所的时延相关联，将蚁群算法的寻优规则融合进Petri网的进化规则中。运算时设置蚂蚁令牌，根据进化规则运行多次，便可逐步找到最优路径，即可确定最优调度方案。1 基于蚁群算法优化的时间Petri网模型在Petri网中，将系统抽象为活动(事件)、状态及其之间的关系，组成三元结构。一般用库所P(Place)表示状态，用迁移T(Transition)表示活动[2]。库所能够决定迁移是否发生，而迁移可以改变库所状态，他们之间的相互依赖关系用输入函数和
现代矿业 2016年5期2016-09-26
- 基于Petri网的最短路径算法的研究
由表示状态的元素库所P（Place）和表示状态变化的元素变迁T（Transition）[8]两类元素组成。其中网的部分描述系统的结构，标识部分表示系统的状态。通常，小圆圈表示库所用来决定变迁是否使能，而小方框表示变迁用以改变系统的运行状态。库所与库所之间，变迁与变迁之间不能有依赖关系。1.2扩充Petri网本文需要对日常的公共交通运用Petri网进行仿真建模，考虑到如果只用最基本的Petri网难以描述和计算，因此有必要对托肯和变迁的使能规则进行扩展。首先对
电子设计工程 2016年1期2016-09-08
- 基于模糊Petri网的GIS故障诊断与可靠性分析
计算出中间和目标库所的概率重要度，并对初始库所重要度进行分析；在已知故障现象的情况下，通过反向的模糊推理规则，找出故障原因。以GIS绝缘缺陷和机械故障为例，验证了GIS故障模型和FPN方法的正确性和快速性。GIS； 模糊Petri网； 可靠性分析； 故障诊断1 引言气体绝缘金属封闭开关设备(Gas Insulated Switchgear，GIS)具有占地面积小、可靠性高、安全性好、检修周期长和受环境影响小等众多优点，因而被广泛应用于城市变电站[1-4]。
电工电能新技术 2016年5期2016-05-20
- 基于Petri网的维修保障过程可视化建模与仿真
）。P 代表有限库所集P＝ ｛P1，P2，…Pn｝；T 代表有限变迁集T＝ ｛T1，T2，…Tm｝；AP×T∪T×P 代表有向弧集；C 代表与库所有关的有限颜色集；FT 代表某令牌到达某库所的模糊时间戳；D 代表与变迁输出弧集T×P 有关的模糊延时；FTE 代表变迁的模糊使能时间；FOI代表变迁的模糊发生间隔；FOT 代表变迁的模糊发生时间；M0代表库所的初始标记。1.2 模糊时间着色Petri网规则（1）颜色集规则：颜色用来区分资源的种类。资源充足程度的
计算机工程与设计 2015年2期2015-12-23
- 基于进程网模型的仿真技术研究
网，有两个特殊的库所：i和o。库所i是组件的起始库所，即·i=Ø，在程序中用TopPlace表示；库所o是组件的终止库所，即o·=Ø；在程序中用BottomPlace表示。A是所有动作的集合，由英文字母组成的字符串表示，IÎT，是变迁的集合，但只表示接受的消息，OÎT，同样是变迁集合，但只表示输出的消息，这两个合起来就是PrN的接口变迁集合。PrN定义了最基本组合并称其为基本PrN（BasicComponent），由两个库所一个变迁组合而成，复杂的网结构由
中国新技术新产品 2015年13期2015-11-16
- 一种新型扩展Petri网理论方法研究
色元素，它可以对库所中描述的信息流进行分类，可以表示系统中的多种信息，使用这类Petri网对系统建模，可以实现网系统的折叠，使所建模型简单、明了。带抑制弧和使能弧的着色Petri网是一个十元组其中（1）N=（P，T；F）是一个网（2）C是颜色的一个有限集合C=｛c1，c2，c3，c4，…，ck｝（3）WF：F→L（C）+表示有限弧集到颜色域函数的映射（4）I⊂P×T，E⊂P×T分别为抑制弧集和使能弧集，且I∩E=Ø，（I∪E）∩F=Ø（5）WI：I→C'（
现代计算机 2015年10期2015-09-21
- 基于新型扩展模糊Petri网的食品冷链故障诊断方法
故障的原因.利用库所带有的关键因素开始时间信息可排除未发生的因素，降低诊断推理过程的复杂程度.最后通过实例对该模型进行了验证和分析.冷链故障诊断；模糊Petri网；时间信息；食品安全近年来，食品安全问题已被越来越多的人所关注，对冷链物流的关注度也随之急剧升温.所谓冷链物流是指冷藏冷冻类食品在生产、贮藏运输、销售等到消费前的各个环节中始终处于规定的低温环境下，以保证食品质量，减少食品损耗的一项系统工程［1］.与普通物流的区别不仅在于食品对卫生环境的要求极高，
天津科技大学学报 2015年2期2015-08-09
- 针对α网的最优线性约束转换方法
出了转换后的禁止库所集集合的求解算法;最后,根据禁止库所集集合构造了“逻辑或”形式的最大允许线性约束.并且通过一个例子,说明了该方法的有效性.Petri网;离散事件系统;禁止状态;不可控变迁在离散事件系统中,监控系统行为使其不进入禁止状态并满足系统的性能要求是极其重要的.但是如何控制系统行为,避免其进入禁止状态是一个非常棘手的问题.此类控制问题可以用线性约束方法来表示.在基于Petri网的离散事件系统监控器设计[1-14]中,线性约束转换问题一直是研究的重
西安电子科技大学学报 2015年5期2015-07-24
- 模糊Petri网在液压提升机液压系统诊断中的应用
准确地计算出各个库所的可信度，并可以对初始库所重要度进行分析，大幅减少诊断时间。以液压提升机的提升故障为例，验证了该算法的正确性和高效性。模糊Petri网；模糊产生规则；故障诊断；液压提升机随着液压技术的发展，其在工程机械、工业设备、石油勘探、石油钻采、军工等行业得到了广泛的应用。一旦其系统出现故障，会危及到整个设备的安全，甚至是操作人员的人身安全。因此人们对液压系统的稳定性、可靠性的要求越来越高。然而液压系统中液压油在部件和管路中的流动状况，外界是看不到
石油矿场机械 2015年6期2015-07-23
- 一种新的基于直觉模糊Petri网的模糊推理算法*
的推理过程中引入库所重排策略，提出一种新的基于IFPN模型的库所重排策略的推理算法，有效简化模糊推理过程。最后，通过实例检验此算法的可行性和有效性。2 基本定义2.1 算法所涉及的相关定义直觉模糊集是保加利亚学者Tanassov K A[9]在模糊集基础上提出的新概念，增加了一个新的属性参数—非隶属度函数，以一个区域值代替了隶属度，具有更强的模糊描述能力。直觉模糊Petri网是在Petri网的基础上扩展而来的，它应用的出发点是基于其知识表达和逻辑推理功能。
计算机工程与科学 2015年2期2015-07-10
- 面向系统概念设计的OPM到CPN转换方法
PN的建模元素是库所、变迁、令牌和弧。库所描述系统可能处于的状态;变迁描述系统的行为，即状态的变化;弧描述状态在变迁发生时变化的方向，可由弧上的表达式描述具体的条件;每一个库所包含一些令牌，令牌带有给定类型的数据值，这些数据值的类型即颜色集。颜色集的定义可以使令牌之间相互区分，这也是CPN与Petri网最显著的区别。CPN Tools是支持编辑，仿真和分析CPN的成熟的工具，其嵌入语言是标准ML语言。CPN Tools有不同的仿真模式，可运用监视器观察、干
指挥控制与仿真 2015年6期2015-04-23
- 基于最大似然译码字的Petri网电网故障诊断方法
基本Petri网库所、变迁及它们之间的流关系可构成一个基本Petri网。库所中的托肯(token)表示该库所所处的状态或所拥有的资源，变迁表示在使能状态下对事件的处理，即库所的状态发生变化且达到一定条件时变迁将被触发，托肯将通过流关系由一个库所转移到下一个库所，使得下一个库所的状态发生改变。1.2 电网故障模型的建立如图1所示，若线路L12发生故障，正常情况下，主保护R1和R2应能起动，触发脱扣信号使断路器CB1和CB2跳闸将故障线路切除。若断路器CB1拒
电工技术学报 2015年15期2015-04-06
- 基于FHPN的道路交叉口交通流信号实时控制优化研究
Pc，Pd是离散库所的集合，Pc是连续库所的集合，Pd∩Pc=∅，离散库所Pd可分为两种库所子集合，即相位标识库所集合Pp和绿灯时间库所集合Pg，Pp∩Pg=∅；(2)T=Td∪Ti∪Tr，Td是模糊延时变迁的集合，Ti为瞬时变迁的集合，Tr为模糊推理变迁的集合，Td∩Ti∩Tr=∅；(3)A⊆(P×T)∪(T×P)为输出弧和输入弧的集合；(4)DT:〈Pp，Td〉→[α，β]为库所Pp和变迁Td到正整数区间[α，β]的映射函数，α，β∈N+且Pp∈•Td
华中师范大学学报（自然科学版） 2015年3期2015-03-21
- 利用Petri网特征结构的故障诊断方法
t）.其中：P是库所的集合，P＝｛p1，p2，…，pn｝；T是变迁的集合，T＝｛t1，t2，…，tm｝；Pre：P×T→｛0，1，…｝是前向关联矩阵，定义了从库所到变迁的有向弧的权值；Post：T×P→｛0，1，…｝是后向关联矩阵，定义了从变迁到库所的有向弧的权值.标识是n维的列向量m，其元素m（j）是第j个库所的托肯数目.m0是系统的初始标识，变迁tj可表示为一个m维向量δj，其第j分量等于1.当tj发生后，系统到达新标识m′＝m+D·δj.其中：D＝P
华侨大学学报（自然科学版） 2014年4期2014-10-11
- 基于Petri网的WEB服务组合建模及验证
组合网，其中P为库所集合，W为Web服务集合，F为库所到Web服务的弧的集合。（1）PN有两个特殊的库所：起始库所i和终止库所o，i的前驱库所为空，o的后继库所为空，形式化表示为（2）如果在PN中加入一个新的服务w，使w连接库所i与o，则w的前驱库所为i，后继库所为o，形式化表示为：·w＝｛i｝，w·＝｛o｝。1．2 Web服务组合模型的图形化表示Web服务组合模型将单一的Web服务用库所和弧连接在一起，其中，Web服务使用矩形表示，库所使用圆形表示；每个
宿州学院学报 2014年3期2014-07-13
- S3PR网的严格极小信标计算方法
PR网中一类特殊库所与严格极小信标的关系，笔者针对这类特殊库所进行研究，提出基于环资源计算严格极小信标的方法．由于该方法避免环资源子集特征资源子网[5]强连通的判断，所以与环资源子集法[5]相比，有更高的计算效率．1 计算严格极小信标Peri网、S3PR网以及资源环的基本定义和相关符号说明参见文献[1-2, 5]．在这一部分，笔者针对S3PR网中一类特殊操作库所和特殊资源库所进行定义与分析．在下面的讨论中，用Ω来表示S3PR网N=(PA∪P0∪PR，T，F
西安电子科技大学学报 2014年4期2014-07-11
- Petri网结点精化及其应用
。如果这个结点是库所，就称为库所精化(Place Refinement);结点是变迁，就称为变迁精化(Transition Refinement)。使用结点精化的技术可以使包含众多结点的Petri网在形式上更为简洁，在包含特定的语义时更能帮助理解Petri网。但是，结点精化的方法存在诸多问题。首先，它对下层网有严格的限制。结点精化子网要求必须只有一个入口一个出口。对于库所精化，入口、出口要求是库所，即所谓P-P网或P型网。对于变迁精化入口、出口要求是变迁，
计算机与现代化 2014年7期2014-07-03
- 模糊Petri网在某型武器载车系统故障诊断中的应用
Petri 网由库所P 和变迁T 组成，它将模糊产生式规则中的命题看作库所，用圆圈“○”表示;将模糊产生式规则中的推理过程看作一种变迁，用竖线“|”表示;命题之间的因果关系用库所和变迁之间的有向弧表示。为了更好地解释模糊Petri 网(Fuzzy Petri Nets)，这里将其定义为一个九元组［7］:FPN(P，T，D，I，O，f，α，β，λ);其中:P={P1，P2，…，Pn}是一个有限的库所集;T={t1，t2，…，tn}是一个有限的变迁集;D ={
兵器装备工程学报 2014年4期2014-07-03
- 一种递归π演算向Petri网的转换方法
，其节点分别称为库所和变迁。这些节点通过有向弧相连。相同类型的两个节点之间是不允许相连的。1.2 转换规则递归π演算向Petri网转换要遵循一些转换规则，在本文中将这些规则概括为两类：基本进程的转换规则以及组合规则。1.2.1 基本进程转换规则对于向子网K（ρ）的转换，是根据表达式ρ的语法树，其组成为给定基本子项（进程项0，进程调用，内部动作以及输入输出前缀）的图转换。由于不涉及任何的名字操作，因此进步进程项0和内部动作前缀τ十分简单。进程调用X（α1，…
吉林大学学报（工学版） 2014年1期2014-04-12
- 基于一种扩展模糊Petri网的列车运行晚点致因建模分析
2,…,pn}是库所节点的有限集合；T={t1, t2,…,tm}是变迁节点的有限集合；I是输入函数，即从库所集到变迁集的映射P× T→{0,1}，若I(p，t)＝1，表明pi是ti的输入库所，否则不是，I(ti)表示变迁ti的输入库所集合；O是输出函数，即从变迁集到库所集的映射P× T→{0,1}，若O(p，t)＝1，表明pi是ti的输出库所，否则不是，O(ti)表示变迁ti的输出库所集合；α是库所到该库所中托肯的映射，α(pi)＝αi表示库所pi的托肯
天津科技大学学报 2014年4期2014-02-27
- 基于扩展Petri网的ECA规则集表示及终止性分析
)。1) P 是库所的有限集，P=Pe∪Pt∪Pv∪Pn∪Pc，其中，Pe是事件库所集，Pt是处于触发态的库所集，Pv是处于激活态的库所集，Pn是动作库所集，Pc是条件库所集。Pe、Pt、Pv、Pn和Pc两两不相交。2) T是变迁的有限集，Tt⊂T是触发变迁集，Tv⊂T是激活变迁集，Tn⊂T是执行变迁集。Tt、Tv和Tn两两不相交。3) F是流关系的有限集， F = Fi∪ Fo，其中，Fi⊆ { (p, t)|p ∈ P , t ∈ T }是 输 入 弧
通信学报 2013年3期2013-10-29
- 基于Petri网的联锁软件测试用例动态生成
4]，它利用底层库所代表某个原子故障事件，顶层库所和中间库所通常代表某些故障事件的逻辑组合，以有向弧的指示方向表示系统故障的传播关系。通过Petri网表达系统的逻辑关系，完成知识表示和诊断推理；同时也可对被诊断对象建立行为模型并利用Petri网属性进行基于模型的诊断推理。文献[5-6]利用故障树的 Petri网求其最小割集(Minimal Cut Sets, MCS)。文献[5]构造网络可达图，设计一个针对可达标志图搜索算法。文献[6]提出直接利用关联矩阵
计算机工程 2013年1期2013-09-29
- 基于Petri网的顾及转向延误的最优路径算法
sm｝是非空有限库所集；（2）T＝ ｛t1，t2，…，tn｝是非空有限变迁集，且S和T不相交；（3）F （S×T）∪ （T×S）是流关系，且dom （F）∪cod（F）＝S∪T；（S，T；F）构成一个有向图；（4）W：F→N 是权函数。W （s，t）＝i（i＞0）当且仅当存在一条从库所s到变迁t的权值为i的弧；W （s，t）＝0当且仅当不存在从库所s到变迁t的弧。用t＝ ｛s｜ （s，t）∈F｝表示变迁t的输入库所的集合，s＝ ｛t｜ （s，t）∈F｝表示
计算机工程与设计 2013年10期2013-09-08
- S3PR网的一种最大许可活性监督控制器设计方法
模型实施添加控制库所及其连接弧等有效的系统设计，可以限制系统对资源的申请，达到阻止死锁的目的［1－5］。受控网系统可达状态的多少是评价Petri网控制器的一个重要指标。一个Petri网系统的可达状态按标志描述可以划分为死锁标志、坏标志、危险标志和活标志四类［6－8］。对网系统进行控制设计的目的是去除死锁标志和坏标志，即禁止标志，尽可能保留活标志和危险标志，即可保留标志。可以通过限制系统对资源的申请，保证所有的禁止状态不可达，保留系统中的所有可达状态［9］。
计算机集成制造系统 2013年7期2013-08-27
- 基于模糊Petri网的数控机床主轴故障诊断*
的含义如下:P为库所有限集合，P={p1，p2，…，pm}(m ＞0);T 为变迁有限集合，T={t1，t2，…，tn}(n＞0);D 为命题有限集合，D={d1，d2，…，dm};I为P→T的输入函数;O为T→P的输出函数;β为库所与命题之间的映射，即 β(pi)=di，pi∈P，di∈D，表示命题pi的真实程度为di;μ为变迁的可信度函数，即μ(ti)=μi，μi∈［0，1］，表示变迁 ti的可信度为 μi;α 为库所的可信度函数，即 α(pi)= α
制造技术与机床 2012年3期2012-09-26
- 基于着色petri网的高速公路交通流建模与仿真
petri网是由库所（place）、变迁（transition）和一组弧线（ares）组成的双向图。不同类型节点之间用弧线直接相连，同类型节点间则不能直接相连。本文，笔者用圆圈表示库所，用矩形形式表示变迁。经典petri网模型如图1所示。图1 经典petri网模型2.着色petri网。着色petri网通过不同的颜色对托肯进行分类，以实现系统的折叠和简化。着色petri网的颜色主要是针对托肯和库所设置的。（1）通常把染色托肯分为几种类型，而把类型称为颜色。因
河南科技 2012年6期2012-09-06
- 含有不可控变迁的Petri网死锁避免策略
［3］提出了基于库所不变量的控制器设计算法，该方法利用整个Petri网的关联矩阵来计算控制器，计算的复杂度比较大，而且只适用于安全网。文献［4］提出了Parikh向量不等式的约束转换算法，再用基于库所不变量的控制器算法设计控制器。但是，以上各种方法并没有把控制器算法应用于解决Petri网的死锁问题。本文在总结上述控制器设计算法时存在问题和研究Petri网建模的并发系统中的死锁问题基础上，利用Petri网可达树分析方法检测系统死锁的存在，设计出一种可以避免死
合肥工业大学学报（自然科学版） 2012年4期2012-07-18
- 基于SPN的无线闭塞中心切换过程中的故障分析
故障模型如图3，库所normal代表列车正常行驶，经过15 s（变迁timeout1）后没有接收到RBC信息，到达库所bad即判定RBC故障。RBC故障后，经过5 min（变迁timeout2），若无回复则转至库所delete（删除注册），待RBC恢复，经过库所receive（列车重新收到RBC信息）后，RBC进入库所RBCready（RBC进入正常工作状态），列车呼叫RBC请求行车许可（变迁ReqRBC），收到行车许可后，进入库所RecRBC，升至CTC
铁路计算机应用 2011年8期2011-11-26
- 基于Petri网的电梯系统规格说明
网包括4个元素:库所(Place)、变迁(Transition)、有向弧(Connection)、令牌(Token)，如图1所示。其中库所为圆形节点，变迁为短直线，有向弧是库所和变迁之间的箭头线，令牌是库所中的动态对象，可以从一个库所移动到另一个库所。在图1中有一组库所 P 为{P1，P2，P3，P4}，一组变迁 T为{t1，t2}，两个用于变迁的输入函数:是由库所指向变迁的箭头表示，它们是:两个用于变迁的输出函数:是由变迁指向库所的箭头表示，它们是:一个
长春大学学报 2011年6期2011-11-08
- 基于智能Petri网的物流配送路径优化算法
模型[7]。它由库所Pi(用圆圈表示)、变迁ti(用矩形方块表示)以及连接库所、变迁的线段和库所中的托肯(用小黑点表示)构成。如图1所示给出的智能Petri网由5个库所(Pi(i=1,2,…,5)、4 个变迁 ti(i=1,2,3,4)及 8 条连线构成。图1 智能Petri网对智能Petri网进行赋时，即当某一变迁的发生条件满足时，延迟一段时间后从相应的输入库所中移走相应的托肯。智能Petri网中的库所Pi标上的时间值tpi称为库所时间，对应的库所称为时
计算机工程与设计 2011年7期2011-09-07
- 工艺约束条件下加工顺序决策的Petri网T_不变量方法
,P是PN的有限库所集,P={p1,p 2,…,p n};T是PN的有限 变迁 集,T ={t1,t2,…,tm}, 且P∩T= ,P∪T ;I是PN中从库所到变迁的有向弧集,I：P×T→{0,1};O是PN中从变迁到库所的有向弧集,O：T×P→{0,1};M是PN的标识函数,其中M0是初始标识,M 0：P →{0,1,2,…}。在普通Petri网系统中,变迁使能与激发的规则是：①变迁t∈T在标识M 下使能记为M[t＞,其充要条件是,∀p∈P：M(p)＞0
中国机械工程 2010年8期2010-05-30
- 基于双枝模糊逻辑攻击模型的分层推理算法
法中,将把同一个库所的输出变迁尽可能的置于同一层次结构之中,同时在必要时增加相应的虚库所和虚变迁。在模糊Petri网增加的虚库所和虚变迁只是起到一个中间过渡作用,并不会对模糊规则库系统产生影响,因此也不会改变攻击模型中攻击因素对于攻击效果的作用。按照攻击模型BBFPAN的定义,在分层BBFPAN中,将虚库所对应的θ0设为0,虚变迁的置信度设为1。攻击模型BBFPAN分层算法如算法1所示。算法1：Step1：建立起始库所集Pset：若 θi0≠0,则pi∈P
河北工程大学学报(自然科学版) 2010年2期2010-03-17