基于Petri网的DEDS控制与调度方法的研究

基于Petri网研究DEDS的控制优化问题。对工件具有多加工路径及具有装配功能的自动制造系统分别提出了避免系统死锁的控制策略，对多加工路径系统所提出的策略是最优的，控制策略的Petri网实现使得为无死锁运行系统提供了Petri网监控器，提供了自动制造系统活性Petri网建模的新方法。研究了DEDS的禁态问题，提出了综合控制策略的动态规划方法与不变量方法，给出了求位置中最大加权标记数的动态规划递归算法，从而导出了禁态问题的极大反馈控制策略；利用构造Petri网不变量的方法综合实现控制规范要求的Petri网控制器，由网及控制规范的特性知，这些算法均可并行进行。给出了点发序列问题控制策略存在的充要条件和这种能保持事件并发性的最佳策略的综合方法。