Petri网的融合系统建模与仿真

Colored Petri网是Petri网建模与仿真技术的前沿,通过使用CPN-tools仿真软件对两种融合结构(集中式和分布式融合)进行建模。在同一运行规则下,通过设置相同的参数进行建模仿真,结果表明该模型和方法是合理和有效的,可以作为进一步仿真的基础模型。     

面向对象Petri网在制造系统建模中的应用

本文介绍了制造系统的概念及制造系统建模的目的和意义,针对制造系统建模的特点,利用面向对象Petri网（Object-oriented Petri Net,OOPN）对其进行建模和优化。系统地介绍了OOPN建模优点及其在系统建模中的应用现状,分析了制造系统建模特点,探讨了制造系统建模的具体流程。最后结合生产车间制造系统建模实例,进一步阐述了OOPN技术在制造系统建模中的应用。     

数据融合系统的Petri网模型

数据融合是对按时序由传感器获得的数据进行分析和综合的过程,本文提出了多维Ｐｅｔｒｉ网系统,用它建立数据融合的功能与结构模型,构造出该Ｐｅｔｒｉ网模型的可达树,在可达树上分析数据融合的性能和行为,同时给出了建立多维Ｐｅｔｒｉ网模型和构造可达树的算法     

基于Petri网的多Agent系统设计与实现

以面向对象Petri网OPN为语义基础,从软件体系结构的角度,建立了一种直观的多Agent系统模型MASM,可以形象地描述Agent的内部结构和动态行为。为了缩小形式化模型与系统实现之间的差距,基于MASM设计了一个多Agent系统开发工具箱MASDT,提供了多Agent系统的基本实现框架。利用MASM对智能加油站系统进行建模和分析,并用MASDT开发了智能加油站系统原型,证实了所提出的一系列理论和方法对于实际系统开发具有一定的指导意义。     

制造系统的Petri网建模

应用Petri网对作为离散事件动态系统的一个简单制造系统进行了建模分析,阐述了Petri网建模的主要特征及方法,介绍了Petri网在制造系统描述中的应用,并以某机器制造车间为研究对象进行了实际建模,给出了相应的Petri网模型.     

基于Petri网的离散事件系统建模

用Ｐｅｔｒｉ网作为建模工具,对典型的离散事件系统的建模进行了研究。     

利用多源信息的配电系统故障诊断Petri网模型

与输电系统相比,配电系统覆盖面更广,包含的元件/设备更多,发生故障的机会也更大。另一方面,配电系统中配置的保护设备不像输电系统那么先进和全面,故障后的警报信息少且未必完整,故障诊断的难度因而未必比输电系统小。这样,在配电系统故障诊断中,充分利用来自多个渠道的信息就更为重要。在此背景下,提出了一种基于Petri网的多源信息配电系统故障诊断模型,可以容纳来自能量管理系统(EMS)、调度管理系统(OMS)、生产管理系统(PMS)、保护信息系统等多方面的信息,并根据一定规则将获取的信息转换成逻辑判据。针对配电系统的不同元件,提出了基于Petri网的故障诊断模型,分析了不同的库所置信度和变迁权重对故障诊断结果的影响;讨论了保护设备误动/拒动、信息漏报/误报对故障诊断的影响并归纳了可能的故障类型,用于评估故障诊断模型的可靠性和容错性。算例测试结果表明了所提出的Petri网故障诊断模型的可行性。     

多传感器信息融合的分层着色Petri网模型

该文以导弹攻击系统为例,提出了一种基于分层着色Petri网理论建立多传感器信息融合系统模型的方法。该方法运用着色Petri网理论克服了以往用普通Petri建模的不足,细化了其系统模型的中间过程,同时给出融合中心的数据融合算法和指挥中心的神经网络解析算法。基于分层着色Petri网建模与分析方法有利于融合系统的性能分析和行为仿真的实现。     

信息物理融合系统语义模型分析

针对信息物理融合系统(Cyber-Physical Systems,CPS)需要提供合理的语义规范来保证信息和物理两个不同世界的同步,提出了CPS系统的语义模型方案,引入了(WoT)物维网框架,分析和介绍了物维网的框架结构特点.在此基础上提出了基于物维网框架的CPS系统架构,结合语义模型方案在分析系统需要解决的语义问题时分别给出相应的思路加以阐述,为进一步解决CPS系统语义模型问题提供了参考.     

连续系统的受控连续Petri网模型

对于连续系统提出了一种受控连续Petri网模型．该模型充分考虑了系统状态的时变性质,在普通连续Petri网的基础上,对连续变迁的激发速度及触发规则进行了重新定义,从而能直观地、充分地描述受控连续系统的演变,从而为混杂系统统一的Petri网模型框架的建立提供了理论基础．利用模型详细讨论了连续系统的时间最优控制问题的连续Petri网描述．     

智能网业务中的Petri网建模及验证方法

在分析设计智能网业务的基础上提出了一种智能网业务逻辑的规范描述，将其中涉及并发、同步等的描述转化为Petri网模型，探讨了在该模型上的验证方法，并给出了一个应用该规范和模型的例子．     

一种时延Petri网的死锁预防方法

针对时延Petri网的死锁预防问题,提出了一个有效的预防控制算法,将信标控制死锁预防的方法应用到时延Petri网中,不需要列举全部可达状态的情况下实现死锁预防,而且实现最后的控制器为活．首先将时延Petri网拉伸为拉伸时延Petri网(SPN),使得不改变原来系统性能的情况下,拉伸后的网所有变迁均为单位时延,然后针对SPN忽略时间因素,采用信标控制方法,根据所得标识约束添加控制库所,使所有严格极小信标均为P-不变式可控,最后还原时延Petri网,得到活的、结构简单的Petri网监督控制器．     

Computation of special markings of Petri nets of manufacturing systems

This paper proposes a method to find the set of dangerous markings of Petri nets based on integer programming by computing a partial set of reachability markings. The proposed method can be used to find all deadlock markings by employing the definition of deadlock markings and the structure information(P-invariant) on Petri nets. Then the state equation is used to derive the sets of bad and dangerous markings. Finally, using the Petri net model of a manufacturing system,we verify the computation of special markings(such as deadlock markings and dangerous markings). Experimental results show that the special markings can be computed by obtaining the partial reachability graph,which reduces state the space explosion problem.     

局部公平网的充要条件研究

Petri的局部公平性反映了网系统在局部行为的公平关系，给出了局部公平Petri网的一个充要条件，即如果Petri网具有若干个互不相交的变迁不变式的支撑，则该网是为变迁不变式覆盖的。同时提出了状态观测器的概念，根据网的库所不变式理论，通过把网中所有的状态观测器设计为一个库所不变式，可把一个局部公平网设计为一个公平网。最后给出了状态观测器初始标志的确定方法，来最大限度地保证网系统的行为不受观测器的约束。     

一类自动制造系统Petri网的设计方法

根据自动制造系统工件工艺规程的形式化表示及通信顺序进程，提出了自动加工系统Ｐｅｔｒｉ网的一种综合方法，为研究复杂系统Ｐｅｔｒｉ网的设计理论提供了很好的基础。     

基于颜色Petri网的密码协议的分析

密码协议的成功设计是安全领域的关键问题之一，对密码协议进行形式化分析成为当前研究的热点，通过引入颜色Petri网来描述密码协议，并以TMN协议为例，利用Petri网的状态矩阵分析特性对其进行分析，发现并验证TMN协议的安全缺。最终说明利用Petri网分析密码协议是可行的。     

一类带有限制向量的时延离散Petri网

在时延离散Petri网的基础上,该文给出了具有限制向量的时延离散Petri网模型,与时延离散Petri网等价但其标识维数减少。接着分析了该类Petri网运行规则,给出系统运行下标识的累加计算方法。最后,通过算例分析说明了累加算法的正确性与合理性。     

基于Petri网的分布式实时嵌入式系统的调度分析

在基于资源的Petri网建立的分布式嵌入式系统模型中,针对没有考虑并行问题的常规调度分析算法无法计算出正确的调度长度的不足,通过引入时间基准和相对于初始状态类的触发域,得到了新的适合分布式实时嵌入式系统的调度分析算法。