论文部分内容阅读
文中基于补库所理论提出了活性控制器设计方法．首先，利用容量函数K将原Petri网N转变为有限容量网丙，再通过逐一增加K值得到具有最大可达集的容量函数Kmax，然后根据Kmax添加一组补库所，最终得到活性受控网N’．文中首先以警PR网模型为例，与几种经典的死锁预防控制策略进行比较．实例数据表明，基于补库所理论设计的控制器不仅结构简单，避免了信标计算，还具有较好的行为许可性．最后，以S3PGR2网模型为例，说明基于补库所的死锁预防策略同样可以应用于一般Petri网．