柔性制造系统的时间Petri网建模与分析 |
点此下载全文 |
引用本文:潘理,郭观七,欧阳竟成,李武.柔性制造系统的时间Petri网建模与分析[J].计算技术与自动化,2013,(2):105-108 |
摘要点击次数: 1227 |
全文下载次数: 105 |
|
|
中文摘要:时间Petri网是描述和验证实时系统最常用的形式模型之一。建立基于时间 Petri网的典型柔性制造系统模型,利用状态类分析方法,定量计算所有可行调度及其执行时间,进而获得最优调度,为复杂柔性制造系统的建模与调度提供有效的模型支持。 |
中文关键词:时间Petri网 状态类方法 柔性制造系统 建模与调度 |
|
Modeling and Analysis of Flexible Manufacturing System Using Time Petri Net |
|
|
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 |
查看全文 查看/发表评论 下载pdf阅读器 |