| 柔性制造系统的时间Petri网建模与分析 |
| |
| 引用本文： | 潘理,郭观七,欧阳竟成,李武.柔性制造系统的时间Petri网建模与分析[J].计算技术与自动化,2013(2):105-108. |
| |
| 作者姓名： | 潘理 郭观七 欧阳竟成 李武 |
| |
| 作者单位： | (1.湖南理工学院信息与通信工程学院，湖南 岳阳414006； 2.湖南理工学院复杂系统优化与控制湖南省普通高等学校重点实验室，湖南 岳阳414006) |
| |
| 摘 要： | 时间Petri网是描述和验证实时系统最常用的形式模型之一。建立基于时间 Petri网的典型柔性制造系统模型，利用状态类分析方法，定量计算所有可行调度及其执行时间，进而获得最优调度，为复杂柔性制造系统的建模与调度提供有效的模型支持。
|
| 关 键 词： | 时间Petri网 状态类方法 柔性制造系统 建模与调度 |
Modeling and Analysis of Flexible Manufacturing System Using Time Petri Net |
| |
| PAN Li,GUO Guan-qi,OUYANG Jing-cheng,LI Wu.Modeling and Analysis of Flexible Manufacturing System Using Time Petri Net[J].Computing Technology and Automation,2013(2):105-108. |
| |
| Authors: | PAN Li GUO Guan-qi OUYANG Jing-cheng LI Wu |
| |
| Affiliation: | (1.School of Information and Communication Engineering, Hunan Institute of Science and Technology, Yueyang414006, China; 2.Key Laboratory of Optimization and Control of Complex Systems, College of Hunan Province, Yueyang414006, China) |
| |
| Abstract: | Time Petri nets are a popular formal model for the specification and verification of real-time systems. In this paper, we build a typical flexible manufacturing system model based on a time Petri net, and quantitatively analyze all feasible schedules and their execution delays by using a state class method, and then obtain an optimal schedule. Our method offers an effective support for the modeling and scheduling of complex flexible manufacturing systems. |
| |
| Keywords: | time Petri nets state class method flexible manufacturing system modeling and scheduling |
|
| 点击此处可从《计算技术与自动化》浏览原始摘要信息 |
|
点击此处可从《计算技术与自动化》下载全文 |
