多进程离散事件动态系统并发模型分析和系统设计

本项目从提高和改进离散事件系统模型的并发能力、描述能力和转移变换能力为目标，研究建立一类在功能上可以符合实际工程系统中复杂需求的，结构上紧凑的模型。研究中提出了扩展的有限递归过程（FRP）模型，带数据库和规则库的高级Petri网模型，并建立了它们和工程上实用方法（非形式化的）如面向对象编程（OOP）与数字仿真间的关系，成为分析工程上复杂的离散事件系统的有力武器。研究中还对几种典型的离散事件系统，例如柔性制造系统和通讯协议的实例进行了分析和仿真，验证了模型和系统规范的一致性。其中，制造系统的模型更具有通用价值，它将对进一步实现制造系统的实时控制，优化和决策提供可靠的保证。