分布式控制系统的混合Petri网建模和分析

分布式控制系统是一个离散和连续相结合的混合动态系统,具有动态、并发及同步等特征,Petri网已经被证明是离散事件或异步系统很好的建模和分析工具,而混合Petri网是用于混合系统建模和分析的一个主要工具.基于混合Petri网描述了分布式控制系统的混合Petri网模型,并且能够进行故障检测.并运用VisObjNet对模型实例进行了仿真分析.     

Petri网在制造系统建模与仿真中的应用

介绍制造系统的概念以及制造系统建模与仿真的目的和意义,阐述Petri网的内涵,同时引出面向对象的Petri网的定义.依据面向对象的Petri网的理论,给出制造系统的建模过程,最后将统一建模语言(UML)融入到制造系统的建模与仿真中,通过实例进一步阐明了Petri网在制造系统建模与仿真中的应用.     

基于着色解释Petri网的网络协议建模及协同仿真方法

为解决协议工程中协议形式化验证和仿真断裂的问题,结合着色Petri网和解释Petri网,构造出一种可建模复杂离散事件系统的着色解释Petri网.借助观察者模式,依据着色解释Petri网的特点,提出了一种具有通用性的与协议仿真工具协同工作的方法.作为对该方法的示例,采用着色解释Petri网对避免冲突的多路访问协议进行建模.在保证与OPNET仿真模型一致的基础上,通过着色解释Petri网与OPNET的协同仿真,改良了避免冲突的多路访问的功率控制算法.基于着色解释Petri网的协同仿真,第一次紧密连接了Petri网和通用协议仿真工具,对协议工程将起到重要作用.     

基于仿真技术的生产系统构建方法研究

分析了构建生产系统中引入仿真技术的必要性,提出了运用仿真途径构建生产系统的方法;并利用扩展随机高级判断Petri网（ESHLEP—N）建立了离散事件系统模型,并使用Flexsim仿真系统软件工具对某离散制造系统进行了三维建模,分析了生产系统的运行状态,为系统构建方案的可行性论证提供了依据。     

一种面向对象的Petri网及其应用研究

提出了一种面向对象的Petri网(OPN),较好地避免了一般Petri网建模时经常产生状态爆炸的问题,并具有较好的模块性、重用性及可维护性。通过利用OPN建立一个FMS模型的实例,说明了OPN的有效性和强大的建模能力。OPN为离散事件系统的建模提供了一种强有力的工具,具有良好的应用前景。     

用混合Petri网对微开关加工系统建模和仿真

半导体加工系统是一个非常复杂的、离散事件和连续时间相结合的混合动态系统,离散Petri网不能很好地对这样的系统进行建模和分析,混合Petri网可以很好地描述半导体加工系统的静态属性及动态行为.实际上,运用离散Petri网将面临状态爆炸以及仿真的高消耗的问题.混合Petri网用来对半导体加工系统进行建模和仿真,这类模型用于微开关加工流程的建模和仿真,证明结果很精确并且仿真速度很快.     

不确定信息下制造系统性能评估的Petri网模型

为了提高制造系统生产性能评估的质量,结合灰色系统理论与Petri网建模理论,设计了一类基于灰数运算的Petri网及组成要素,以辅助生产管理者在不确定信息环境下评估制造系统的生产性能;研究灰色Petri网的求解算法,求解系统内部的不确定稳态概率;分析系统重要性能指标与稳态概率之间的联系,探寻其定量化表征,分析关键生产指标的白化解;以某自动化生产系统为例开展案例研究,验证了相关理论和方法的可行性与实用性,为制造系统建模及性能评估提供了一种新的分析工具和解决思路。     

基于Petri网的智能制造系统建模

阐述了Petri网在智能制造系统建模中的突出优点,对其进行了扩展,并与面向对象技术相结合形成了面向对象Petri网（OOPN）,提出了利用OOPN建立智能制造系统结构模型,行为模型,控制决策模型和消息模型的方法,通过利用OOPN建立智能制造中加工结点模型的实例,充分说明了面向对象Petri网的有效性和强大的建模能力,为智能制造系统的设计,性能分析,运行状态监视提供了一条有效途径和强有力的工具,必将在制造领域得到广泛应用和进一步的发展。     

基于逻辑Petri网模型的断路器数字孪生车间系统

针对断路器批量化制造过程中的生产逻辑关系建模与控制问题,提出一种基于逻辑Petri网的断路器数字孪生车间系统建模与控制方法.基于物理车间的构成信息和断路器批量化制造工艺特点,建立了逻辑约束的递进式Petri网,实现了对物理生产过程的精准建模分析.在此基础上,采用模型结构分析、系统协同优化、物理引擎开发等方法,结合逻辑P...     

基于Petri网的离散事件仿真与控制软件的开发及关键技术

针对离散事件系统控制对Petri网软件工具的需求,设计和开发基于Petri网的离散事件仿真与控制软件。通过分析离散事件仿真与控制的要求,确定软件的功能与目标,据此设计软件的体系结构。研究软件开发中的几个关键技术,如控制Petri网的提出及其基本类设计、基于控制Petri网的控制与仿真、Petri网模型的存储与读取、客户/服务器模式软件网络化架构等。开发基于Petri网的离散事件仿真与控制软件,它不仅具有Petri网模型建模与分析功能,还能实现基于Petri网的离散事件系统的网络化控制与仿真。在可重构加工系统试验平台上的应用表明,该软件是有效和实用的。