柔性制造系统的时间Petri网建模与分析

摘要

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.%时间Petri网是描述和验证实时系统最常用的形式模型之一.建立基于时间Petri网的典型柔性制造系统模型,利用状态类分析方法,定量计算所有可行调度及其执行时间,进而获得最优调度,为复杂柔性制造系统的建模与调度提供有效的模型支持.