共查询到19条相似文献,搜索用时 78 毫秒
1.
基于扩展Petri网的混合流程生产过程建模 总被引:4,自引:0,他引:4
提出了一种扩展的 Petri网建模语言 (Hy Net) ,该语言将面向对象技术、谓词逻辑和微分方程融入高级Petri网中 ,把托肯 (token)作为对象 ,利用弧变量将库所 (place)中托肯携带的信息传递到其后置变迁。这些信息可用来控制变迁的使能条件、规定变迁的活动和计算变迁的激发延续时间。因此 ,这种语言具有很强的模型描述能力 ,利用它所建的模型具有很好的柔性。作为案例 ,文中利用该语言建立了一个具体的混合流程企业的生产过程模型。 相似文献
2.
炼油生产计划和调度优化的研究 总被引:16,自引:1,他引:16
分析了炼油生产计划和调度优化的问题,说明短期生产作业计划和调度优化问题的困难性。对相关的优化方法进行了综述,指出虽然对于长期生产计划已有有效的工具,但缺乏生产作业计划和调度的有效方法和工具。同时指出,由于问题的组合优化的本质和问题规模的巨大,现有的基于数学规划的生产作业计划和调度方法在计算上是不可行的,无法在实际中应用,因此,“启发式 仿真 优化”的方法是今后的研究方向。 相似文献
3.
4.
5.
6.
分析传统可靠性建模方法在描述时间及系统动态过程等方面存在的缺陷,研究了影响系统动态可靠性的各种因素,给出动态可靠性的定义及理论体系。在评述已有动态可靠性建模方法的特点及其应用的基础上,提出复杂系统动态可靠性建模的发展方向。 相似文献
7.
潘成胜 《计算机集成制造系统》1995,1(3):41-45
本文概述了Petri网研究方面的一些最新研究结果,讨论了基于Petri网的一些建模工具,这些工具特别适合于制造系统的建模,性能分析,实时控制、系统可靠性系统等,文中还介绍了实际应用中所获得的某些结果,最后,提出了Petri网在制造系统建模中需解决的若干问题。 相似文献
8.
9.
基于Petri网的智能制造系统建模 总被引:7,自引:1,他引:7
阐述了Petri网在智能制造系统建模中的突出优点,对其进行了扩展,并与面向对象技术相结合形成了面向对象Petri网(OOPN),提出了利用OOPN建立智能制造系统结构模型,行为模型,控制决策模型和消息模型的方法,通过利用OOPN建立智能制造中加工结点模型的实例,充分说明了面向对象Petri网的有效性和强大的建模能力,为智能制造系统的设计,性能分析,运行状态监视提供了一条有效途径和强有力的工具,必将在制造领域得到广泛应用和进一步的发展。 相似文献
10.
11.
Petri网是研究离散事件动态系统的有效工具,它通过对实际问题构造Petri网,揭示出系统的动态特性。本文以某质量检测机构为研究对象,进行Petri网建模,分析系统在资源分配,运行方式等方面性能,并对系统的时间性能作出整体评估。 相似文献
12.
13.
14.
基于Petri网的生产系统仿真研究 总被引:2,自引:0,他引:2
以流水生产线为例,介绍了Petri网建模及其性能分析。通过转换成马尔科夫链,可以计算变迁实施时间为指数分布的Petri模型的性能指标。并且针对Petri网模型计算复杂的特点,介绍了一种新的Petri仿真方法,即利用WITNESS软件对Petri模型进行仿真分析。 相似文献
15.
Ning Yang Zhenliang Lou Xionghui Zhou 《The International Journal of Advanced Manufacturing Technology》2005,26(4):366-371
This paper presents a modeling method of hierarchy-colored and timed Petri net (HCTPN) that has an agent place. A workflow model for the die and mould MRP II system is established and the validity of workflow model is analyzed via the HCTPN. Combined with the control logics, the HCTPN-based model can accurately express the MRP II running process, so it is also the base of emulation and operation of the MRP II. 相似文献
16.
《Measurement》2014
A Supervisory Control and Data Acquisition (SCADA)/Programmable Logic Control (PLC) system is always used to control small industries like water treatment stations; electric power stations and irrigation systems. Oil and gas refineries generally rely on a Distributed Control System (DCS) to provide all process and equipment control functionality. In this paper, a SCADA/PLC system is used to control a whole oil refinery instead of the conventional control through DCS. The design and specific implementation method of a SCADA/PLC real system in an oil refinery process is introduced. It consists of four main units: a crude oil storage unit, a crude oil pretreatment unit, a distillation unit and products storage/dispatch unit. The output products from crude oil refinery process are Liquefied Petroleum Gas (LPG), Naphtha, Gasoline, Kerosene and Diesel that have a great usage in our daily life. The reason for using the Multipoint Interface/Decentralized Peripherals (MPI/DP) connection in main control loop instead of Ethernet connection is that MPI/DP speed is 185 kbps and Ethernet connection speed is 10/100 kbps, which increases the speed of transfer data through the system. Displacer level transmitters and automatic servo level gauging transmitters are used for measuring levels in the crude oil refinery process. Also differential pressure flow transmitters are used for measuring flow rate. Temperature transmitters with thermocouple temperature elements are used for temperature control. Constructing a highly stable and reliable SCADA/PLC system instead of DCS must realize automatic management and control of oil refinery process in order to avoid the waste of manpower, physical resources, and also to increase the safety of workers. 相似文献
17.
为实现自动化的装配序列规划,提出了一种应用面向对象和Petri网技术定义的产品装配模型.该模型由静态模型和动态模型构成.基于模型定义,提出了局部装配可行性的判定依据,并据此建立了一种基于静态模型的动态模型构造算法.该算法通过逐层分析可能状态的变迁,最终获得装配体所有几何可行的装配序列.通过实例验证了该建模方法的有效性. 相似文献
18.
基于Petri网的生产系统仿真研究 总被引:2,自引:0,他引:2
以流水生产线为例,介绍了Petri网建模及其在制造系统中的性能分析。通过转换成马尔科夫链,可以计算变迁实施时间为指数分布的Petri模型的性能指标。并且针对Petri网模型计算复杂的特点,介绍了一种新的Petri网仿真方法——利用WITNESS软件对Petri模型进行仿真分析。 相似文献
19.
Maria Di Mascolo Yannick Frein Yves Dallery René David 《International Journal of Flexible Manufacturing Systems》1991,3(3-4):275-307
The success of some Just In Time (JIT) systems has led to a growing interest in Kanban systems, which provide a way to implement a JIT control policy. Much work has recently been devoted to this problem, and especially many models have been developed to evaluate the performance of such systems. In this article, we focus our attention of these existing models. Each author uses his/her own representation, which is not formal in most cases, and so it is often difficult to understand the proposed model and to compare it with others. In this article, we show that Petri nets are well suited to provide a unified modeling of Kanban systems. We first propose a basic model, then show that most models encountered in the literature can easily be represented by a Petri net model. Once such a formal model is obtained, it can then be used to analyze the behavior of the system, both qualitatively and quantitatively. Some preliminary results pertaining to the quantitative analysis are presented at the end of the article. 相似文献