论文部分内容阅读
自动制造系统中有许多共享资源,例如,机器人、数控加工中心、无人导引自动小车等,竞争择一是其共享方式之一。以往,自动制造系统的Petri网控制系统器设计几乎都是试凑,而且一些性质不能得到满足,如无死锁。这主要是对共享资源的不适当设计造成的。对于多个子系统,为了使之能很好地工作,必须研究一种设计有界、无死锁的Petri网控制器的方法。本文在以往工作的基础上,提出了有界、无死锁、安全Petri网控制器…