共查询到10条相似文献,搜索用时 15 毫秒
1.
2.
3.
为解决协议工程中协议形式化验证和仿真断裂的问题,结合着色Petri网和解释Petri网,构造出一种可建模复杂离散事件系统的着色解释Petri网.借助观察者模式,依据着色解释Petri网的特点,提出了一种具有通用性的与协议仿真工具协同工作的方法.作为对该方法的示例,采用着色解释Petri网对避免冲突的多路访问协议进行建模.在保证与OPNET仿真模型一致的基础上,通过着色解释Petri网与OPNET的协同仿真,改良了避免冲突的多路访问的功率控制算法.基于着色解释Petri网的协同仿真,第一次紧密连接了Petri网和通用协议仿真工具,对协议工程将起到重要作用. 相似文献
4.
基于仿真技术的生产系统构建方法研究 总被引:1,自引:0,他引:1
分析了构建生产系统中引入仿真技术的必要性,提出了运用仿真途径构建生产系统的方法;并利用扩展随机高级判断Petri网(ESHLEP—N)建立了离散事件系统模型,并使用Flexsim仿真系统软件工具对某离散制造系统进行了三维建模,分析了生产系统的运行状态,为系统构建方案的可行性论证提供了依据。 相似文献
5.
一种面向对象的Petri网及其应用研究 总被引:10,自引:0,他引:10
提出了一种面向对象的Petri网(OPN),较好地避免了一般Petri网建模时经常产生状态爆炸的问题,并具有较好的模块性、重用性及可维护性。通过利用OPN建立一个FMS模型的实例,说明了OPN的有效性和强大的建模能力。OPN为离散事件系统的建模提供了一种强有力的工具,具有良好的应用前景。 相似文献
6.
7.
《计算机集成制造系统》2014,(5)
为了提高制造系统生产性能评估的质量,结合灰色系统理论与Petri网建模理论,设计了一类基于灰数运算的Petri网及组成要素,以辅助生产管理者在不确定信息环境下评估制造系统的生产性能;研究灰色Petri网的求解算法,求解系统内部的不确定稳态概率;分析系统重要性能指标与稳态概率之间的联系,探寻其定量化表征,分析关键生产指标的白化解;以某自动化生产系统为例开展案例研究,验证了相关理论和方法的可行性与实用性,为制造系统建模及性能评估提供了一种新的分析工具和解决思路。 相似文献
8.
基于Petri网的智能制造系统建模 总被引:8,自引:1,他引:7
阐述了Petri网在智能制造系统建模中的突出优点,对其进行了扩展,并与面向对象技术相结合形成了面向对象Petri网(OOPN),提出了利用OOPN建立智能制造系统结构模型,行为模型,控制决策模型和消息模型的方法,通过利用OOPN建立智能制造中加工结点模型的实例,充分说明了面向对象Petri网的有效性和强大的建模能力,为智能制造系统的设计,性能分析,运行状态监视提供了一条有效途径和强有力的工具,必将在制造领域得到广泛应用和进一步的发展。 相似文献
9.
针对断路器批量化制造过程中的生产逻辑关系建模与控制问题,提出一种基于逻辑Petri网的断路器数字孪生车间系统建模与控制方法.基于物理车间的构成信息和断路器批量化制造工艺特点,建立了逻辑约束的递进式Petri网,实现了对物理生产过程的精准建模分析.在此基础上,采用模型结构分析、系统协同优化、物理引擎开发等方法,结合逻辑P... 相似文献
10.
针对离散事件系统控制对Petri网软件工具的需求,设计和开发基于Petri网的离散事件仿真与控制软件。通过分析离散事件仿真与控制的要求,确定软件的功能与目标,据此设计软件的体系结构。研究软件开发中的几个关键技术,如控制Petri网的提出及其基本类设计、基于控制Petri网的控制与仿真、Petri网模型的存储与读取、客户/服务器模式软件网络化架构等。开发基于Petri网的离散事件仿真与控制软件,它不仅具有Petri网模型建模与分析功能,还能实现基于Petri网的离散事件系统的网络化控制与仿真。在可重构加工系统试验平台上的应用表明,该软件是有效和实用的。 相似文献