基于模糊Petri网的引航员作业舒适度评价

为提高引航员的作业舒适度,提出一种基于模糊Petri网(FPN)的模糊推理算法(FRA)下的组合评价方法。首先,针对作业舒适度影响因子的不确定性信息,建立多因素耦合的FPN拓扑结构;然后,采用博弈论组合赋权法确定最优组合权重,提出融合层间相关性判断临界重要性、层次分析法和FRA,建立基于主客观权重的FRA,通过迭代求解库所可信度和状态矩阵;最后,结合上海港船舶引航的场景数据,基于FPN的FRA应用,评价引航员作业舒适度。结果表明:环境与引航设备是影响其作业舒适度的关键因素,冬季和夏季的引航作业舒适度评价等级对应“较不舒适”,其中,5月份为“较舒适”。所提方法充分体现系统舒适度影响因素的耦合特性。

基于随机Petri网的突发火灾应急预案流程化研究

为提高突发火灾的应急响应效率,根据突发火灾的应急响应流程构建了基于随机Petri网(SPN)的仿真模型,通过仿真计算获取了该模型的状态可达集,由可达集构建与模型同构的马尔可夫链对模型进行计算分析,得到了突发火灾SPN模型所有可达状态的稳态概率,利用库所繁忙率、变迁利用率2个指标对模型进行性能分析。结果表明,突发火灾应急响应流程中应急专家、救援人员、救援物资3个业务单元的繁忙率高达35.36%、39.37%、38.25%,展开应急救援耗时在流程总耗时中占比高达27.74%,制定突发火灾应急预案时需着重对以上业务单元及流程环节进行优化,从而优化应急资源调配,提高应急响应整体效率。

基于带抑制弧的Petri网描述的嵌入式系统模型组合与性质分析

为了有效满足嵌入式系统的建模需求,提出基于带抑制弧的Petri网描述的嵌入式系统模型(PIRES+网)。当采用PIRES+网对大规模复杂嵌入式系统进行建模时,会遇到“状态空间爆炸”问题,为了有效缓解该问题,提出PIRES+网的两种组合方法;就组合网对活性和有界性的保持问题进行研究,最后以移动终端网络通信系统的建模和分析为例,表明了所提组合方法的有效性。

一种分层模糊Petri网风险评估方法

针对传统模糊Petri网在对不确定环境下的专家系统的知识表示与推理时无法兼顾不确定知识的模糊性与随机性、在复杂的故障情况下故障的因果关系表达不清晰、定量推理计算时缺乏层次性、不能局部求解的问题,构建一种基于云模型的分层模糊Petri网以加强模糊Petri网的知识表示能力和提高推理过程的计算效率。利用专家知识和Petri网层次分解原则将系统故障模式和故障原因之间的因果关系进行建模,使故障建模更具结构性,计算更加灵活;应用云模型处理知识的模糊性和不确定性;通过合理考虑局部权重和全局权重,结合Petri网层次分解原则和云聚合算子给出相应的推理算法。实例验证表明,所提方法能够有效对系统进行风险评估,且在知识表示和推理方面优于其他方法。

基于毕达哥拉斯模糊概率Petri网的FPSO单点关键部件风险评估

为准确对FPSO单点系泊系统关键部件进行风险评估,通过产生式规则建立概率Petri网络模型,基于德尔菲法的结构熵权法确定专家权重,并引入毕达哥拉斯模糊集理论收集、聚合专家意见得到基本事件的模糊可能性得分和模糊失效概率,利用概率推理算法迭代出最终的失效概率,并进行基本事件重要度分析。实例分析结果表明,引起单点系泊系统发生失效的主要因素有电滑环电刷磨损、电滑环负载电流较高、液滑环结构物晃动冲击、液滑环润滑不充分、电滑环电压过高击穿等。针对主要风险因素提出预防和控制措施,能够保障系统安全正常地运转。

基于时序Petri网的机器人柔性作业车间无死锁调度优化算法

研究了一类源于芯片生产等智能制造领域的机器人柔性作业车间调度问题。针对该类问题在算法设计过程中,需要同时考虑工件加工、机器人运输和死锁求解等带来的问题,提出了一种基于时序Petri网的无死锁调度优化算法。首先,对问题进行时序Petri网建模,提出了一种基于Petri网变迁串的解表示形式,以方便死锁求解和算法寻优;其次,通过对问题死锁的结构分析和分类,提出了一种死锁判断和求解算法,并证明了算法可在多项式时间内求解任意类型死锁,同时也能在一定程度上保证解的优良结构;最后,提出了问题的一种离散蜂群算法求解方案,在算法寻优过程中进行实时死锁求解以保证解的可行性和较快的收敛速度。不同规模实例的数值实验和与问题最优解及最优解下界的比较分析表明,提出的算法对不同类型实例都体现了较好的性能和较低的时间复杂度。该研究为复杂作业车间实时调度问题的算法研究提供了新思路和方法。

基于Petri网和改进遗传算法的多资源调度问题

针对混流装配线工序加工资源需求多样、工艺复杂、装配工期长等问题,采用Petri网和改进遗传算法对该问题进行优化求解。建立混流装配线赋时库所Petri网(timed place Petri net, TPPN)调度模型,基于模型激发序列,采用基于工序的编码方式进行染色体编码;采用精英保留策略选择优异个体,改进遗传算法的交叉、变异操作,用改进后的遗传算法求解混流装配线调度问题。通过对比案例及实例数据计算结果验证了方案的有效性。

A Simulation Engine for Stochastic Timed Petri Nets and Application to Emergency Healthcare Systems

In many service delivery systems,the quantity of available resources is often a decisive factor of service quality.Resources can be personnel,offices,devices,supplies,and so on,depending on the nature of the services a system provides.Although service computing has been an active research topic for decades,general approaches that assess the impact of resource provisioning on service quality matrices in a rigorous way remain to be seen.Petri nets have been a popular formalism for modeling systems exhibiting behaviors of competition and concurrency for almost a half century.Stochastic timed Petri nets(STPN),an extension to regular Petri nets,are a powerful tool for system performance evaluation.However,we did not find any single existing STPN software tool that supports all timed transition firing policies and server types,not to mention resource provisioning and requirement analysis.This paper presents a generic and resource oriented STPN simulation engine that provides all critical features necessary for the analysis of service delivery system quality vs.resource provisioning.The power of the simulation system is illustrated by an application to emergency health care systems.

基于随机Petri网的民机审定试飞实施流程建模与分析

审定试飞是民用飞机获取型号合格证书的重要活动,具有高成本、高风险的特点。研究审定试飞的实施流程有利于推动试飞工作有序进行,进而缩短试飞周期及降低试飞成本。目前对试飞流程的研究局限于流程描述与定性分析,缺乏对试飞流程的形式化建模与性能分析,无法检验流程中的关键环节。为解决上述问题,文中研究了审定试飞3个阶段的实施流程,并利用随机Petri网构建了该流程的仿真模型;通过建立与该模型同构的马尔可夫链,对实施流程进行了性能分析,识别出了流程中耗时较多的关键环节,进而分析了关键环节的实施速率对流程平均运行时间的影响。最后通过一个案例验证了模型与方法的可行性。结果表明,制造符合性检查环节与试飞数据处理环节是流程中耗时较多的关键环节,应将其作为流程优化的重点,同时提升上述两个关键环节的实施速率相比提高单环节速率,成本更低且流程运行效率提升幅度更大。

STOCHASTIC OBJECT-ORIENTED PETRI NETS (SOPNS) AND ITS APPLICATION IN MODELING OF MANUFACTURING SYSTEM RELIABILITY

Object-oriented Petri nets (OPNs) is extended into stochastic object-oriented Petri nets (SOPNs) by associating the OPN of an object with stochastic transitions and introducing stochastic places. The stochastic transition of the SOPNs of a production resources can be used to model its reliability, while the SOPN of a production resource can describe its performance with reliability considered. The SOPN model of a case production system is built to illustrate the relationship between the system's performances and the failures of individual production resources.

改进Petri网下异构跨域用户身份验证方法

在异构跨域用户身份验证时,由于用户身份存在属性特征难以捕捉、状态描述误差大等问题,导致验证精准度较低,为有效解决这一问题,文中提出一种基于改进Petri网的用户身份验证算法。利用改进Petri网反映不同局域网中事物间依赖关系,将异构跨域用户活动模型与Petri网模型转换,采用同步用户的状态变化提取实时状态特征值。通过建立云间身份认证中心,计算用户不同身份代表性词语在一定周期内出现的次数和频率值。提取频率最高的词语,并计算该词语在待验证用户全部代表词语库中的权重值,对比权重值与验证熵值,将得到的验证参数输入到认证中心,输出验证结果。实验结果表明,所提方法在先验节点比例为8%时,验证准确率达到0.9,且召回率和综合指标均在0.6以上,具备一定的抗攻击性,整体实用性能强、利用价值高。

基于执行器冲突预防的平行Petri网控制系统设计

为了获得可靠安全的控制系统,提出一种执行器冲突预防的平行Petri网设计方法。利用智能体扩展了平行Petri网定义,并设计平行Petri网执行算法;给出Petri网3种基本模块的设计方法,将生产工艺转化为Petri网模型;设计了执行机构冲突预防算法,通过添加控制库所避免Petri网进入冲突状态,得到无冲突的Petri网模型。最后,通过C语言和Twin CAT联合编程,在一个芯片检测系统上进行实验,验证了该方法的可行性和有效性。

SSPN-RA:基于SS-petri网的工业控制系统安全一体化风险评估方法

随着信息化与工业化的融合不断加深,工业控制系统中信息域与物理域交叉部分越来越多,传统信息系统的网络攻击会威胁工业控制系统网络。传统的工业控制系统安全评估方法只考虑功能安全的风险,而忽略了信息安全风险对功能安全的影响。文中提出一种基于改进petri网的工业控制系统功能安全和信息安全一体化风险建模方法(Safety and Security Petri Net Risk Assessment,SSPN-RA),其中包括一体化风险识别、一体化风险分析、一体化风险评估3个步骤。所提方法首先识别并抽象化工业控制系统中的功能安全与信息安全数据,然后在风险分析过程中通过构造结合Kill Chain的petri网模型,分析出功能安全与信息安全中所存在的协同攻击路径,对petri网中功能安全与信息安全节点进行量化。同时,通过安全事件可能性以及其造成的各类损失计算出风险值,实现对工业控制系统的一体化风险评估。在开源的仿真化工工业控制系统下验证该方法的可行性,并与功能安全故障树分析和信息安全攻击树分析进行对比。实验结果表明,所提方法能够定量地得到工业控制系统的风险值,同时也解决了功能安全与信息安全单一领域分析无法识别的信息物理协同攻击和安全风险问题。

融合PSO-模糊Petri网的室内燃气泄漏风险研究

近年来室内燃气事故多发,而燃气用户风险意识淡薄、户内安全检查难度大。针对现行室内燃气安全管理技术多为静态主观评估的局限性,构建了基于模糊Petri网(Fuzzy Petri Net,FPN)的风险计算规则,提出了结合粒子群优化算法(Particles Swarm Optimization,PSO)和FPN的室内燃气泄漏动态风险评估模型。首先,应用Petri网的直观图像描述和异步并发处理能力建立室内燃气泄漏事故风险演化的拓扑结构模型,借助FPN的模糊推理能力处理风险传播的不确定性;然后,根据燃气运维数据,融合PSO动态更新初始参数,提高风险评估的准确性。结果表明,基于PSO-FPN的室内风险评估方法可弱化燃气公司安检人员分析的主观不确定性,更为准确地量化风险因子演化过程,实现室内燃气泄漏风险的动态分析,有效支持户内燃气泄漏风险管控。

Boundedness and liveness enforcement for labeled Petri nets using transition priority

This paper deals with the supervisory control problem of discrete event systems modeled by labeled Petri nets. The system is originally unbounded. First, the solvability of the problem is confirmed. A necessary condition is given and proven for the existence of a feasible priority-based controller based on the notions of liveness and transition invariants. Next, a cyclic behavior graph is constructed, which shows the reachable markings that guarantee the maximum liveness of the system within a given bound vector. Finally, an on-line control strategy is proposed to enforce boundedness and liveness to the given system by appending priority relations to transitions. The dynamic priority relation changes flexibly according to the current state of the system and enforces the system evolving in a bounded and live manner. In addition, numerical examples are studied to verify the validity of the proposed approach that remains the structure of the plant net and is efficient for on-line control.

基于petri网的森林火灾应急救援流程网络模型及时效研究

为了对森林火灾的应急救援流程进行优化,以提升应急救援效率,依据森林火灾应急救援预案、有关规定与实际救援案例,从信息传递的角度对森林火灾应急救援流程进行了直观描述。基于petri网相关理论,运用PIPEv5.2.0,构建了森林火灾应急救援随机petri网模型与其同构马尔可夫链,在模型有界、活性、安全且可达的基础上,通过确定模型的库所繁忙率、变迁利用率、平均延迟时间,得到如下结果:①森林火灾应急救援活动早期的灾情信息多且复杂,随着森林火灾的发展呈现动态变化,火灾发生后如何高效地获取过火面积、火线长度、风向、风力、植被载量以及地形等关键信息是优化的重点。②避免信息堆积,基于火灾规模、强度、形式、火头方向等重要任务信息变量,实现实时快速决策、动态处置,是保证森林火灾应急救援活动的时效性的关键。

Modeling of Testability Requirement Based on Generalized Stochastic Petri Nets

Testability design is an effective way to realize the fault detection and isolation.Its important step is to determine testability figures of merits(TFOM).Firstly,some influence factors for TFOMs are analyzed,such as the processes of system operation,maintenance and support,fault detection and isolation and so on.Secondly,a testability requirement analysis model is built based on generalized stochastic Petri net(GSPN).Then,the system's reachable states are analyzed based on the model,a Markov chain isomorphic with Petri net is constructed,a state transition matrix is created and the system's steady state probability is obtained.The relationship between the steady state availability and testability parameters can be revealed and reasoned.Finally,an example shows that the proposed method can determine TFOM,such as fault detection rate and fault isolation rate,effectively and reasonably.

基于优先级时间Petri网的实时嵌入式多核系统分析

已有的基于点区间优先级时间Petri网分析实时嵌入式多核系统的工作,存在以下不足:(1)点区间优先级时间Petri网只考虑每个任务的执行时间是一个固定值的情况,而更多的实际应用中每个任务的执行时间是在一个区间范围内,因此不能模拟这些应用;(2)没有实现从任务依赖图到点区间优先级时间Petri网的自动转化,不便于工程设计人员使用;(3)没有考虑任务间互斥访问共享变量的情况.为此,定义了优先级时间Petri网(Pri-TPN)以弥补第1个不足;定义带有资源分配与优先级的任务依赖图(TDG-RAP)以弥补第3个不足;给出从TDG-RAP到Pri-TPN的转化规则与算法以弥补第2个不足,以及基于Pri-TPN分析任务最坏执行时间与系统死锁的算法;开发工具软件,方便工程设计人员使用.

Using Stochastic Colored Petri nets for Designing Multi-Purpose Plants

Designing of a multi-purpose plant as one of the well-known manufacturing systems is more challenging than other manufacturing systems. This paper applies a stochastic colored Petri net (CPN) to design and analyze multi-purpose plants. A simple approach is proposed to determine the utilization of shared resources and to reduce the equipment’s idle times. Three scenarios are presented to describe the proposed model. Generally, according to desire of a decision maker, different scenarios can be considered in the model to achieve to the expected design or plant configuration. The main characteristics of the proposed model are flexibility, the easiness of practical application and the simulation of the model in an easy way.

基于Petri网的某型无人机再次出动任务保障建模

针对某型无人机再次出动任务保障资源配置问题,在深入分析保障任务的基础上,论文建立了基于综合Petri网的再次出动任务保障模型,利用ExSpect软件对六种保障方案进行了仿真计算,通过对仿真结果的分析研究,选择出了最优保障方案,验证了模型的有效性和实用性,为再次出动任务保障的资源配置管理与决策提供了依据。