一种基于Petri网的自动制造系统的控制方法

摘要

一种基于Petri网的自动制造系统的控制方法，通过死锁避免算法、稳健性加强算法、并发性改善算法，这三个算法的运行，将产生一组变迁集合，任意属于该集合的变迁的发射都能满足无死锁，稳健性并改善系统并发性，每发射一个变迁后，这三个算法需要重新依次计算，再产生一个新的变迁集合，如此循环往复，实时动态地生成一组事件发生序列。本发明保证系统在出现资源故障时那些不需要故障资源的进程不会被需要故障资源的进程阻塞，能够持续流畅加工，并改善系统的并发性。