论文部分内容阅读
本论文来源于国家973项目《生产制造系统重构过程的实时协调控制理论与方法研究》的子课题,任务是设计与实现Petri网逻辑控制器开发平台。实现Petri网逻辑控制器的正确快速重构是本课题的重要目标之一。本文设计实现了Petri网逻辑控制器的编辑仿真模块,包括对Petri网逻辑控制器的编辑以及仿真功能,并且可以建立Petri网中的库所变迁与执行器传感器的映射,使得仿真过程尽量逼近真实制造系统。由于经典的Petri网模型分析算法不能满足课题的需求,本文提出了一种基于新有限可达树(N