柔性制造系统的时间Petri网建模与分析
    点此下载全文
引用本文:潘理,郭观七,欧阳竟成,李武.柔性制造系统的时间Petri网建模与分析[J].计算技术与自动化,2013,(2):105-108
摘要点击次数: 1227
全文下载次数: 105
作者单位
潘理,郭观七,欧阳竟成,李武 (1.湖南理工学院信息与通信工程学院湖南 岳阳414006 2.湖南理工学院复杂系统优化与控制湖南省普通高等学校重点实验室湖南 岳阳414006) 
中文摘要:时间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阅读器