欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
针对一类时延Petri网的死锁预防问题，提出了一个有效的控制算法．将基于基本信标的死锁预防方法应用到时延Petri网中，不需要列举全部可达状态，通过只对基本信标添加控制库所和根据需要调整控制深度变量实现死锁预防，而且最后的控制器为活的网系统．首先将时延Petfi网拉伸，使得不改变原来系统性能的情况下，拉伸后的网SPN所有变迁均为单位时延，然后针对SPN，采用基本信标控制方法，根据所得标识约束添加控制库所，使基本信标和从属信标均为P-不变式可控，最后还原时延Petri网，得到活的、结构简单的Petri网监督控制器．
英文摘要：
To solve the problem of deadlock prevention for timed Petri nets, an effective prevention policy based on elementary siphons is proposed in this paper. Without enumerating all the reachable markings, deadlock prevention is achieved by adding monitors for each elementary siphon and increasing control depth variants where needed. And the final supervisor is live. First, a timed Petri net is stretched into a SPN. Unchanging the system performance, each transition in the SPN has an unit time delay. Then ignoring the factor of delay time, the elementary siphon-control-based approach is applied. Monitors based on the marking constraints are added to the plant model to ensure all elementary and dependent siphons invariant-controlled. A liveness-enforcing supervisor with simple structure can be realized by reverting the TdPN.
同期刊论文项目
同项目期刊论文
A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing s
Synthesis of structurally simple supervisors enforcing generalized mutual exclusion constraints in p
Low-cost and high-performance supervision in ratio-enforced automated manufacturing systems using ti
Efficient computation of strict minimal siphons for a class of Petri nets models of automated manufa
On the minimal siphons and deadlock prevention in the Petri net model of the dining philosopher’s pr
Comments on "An iterative synthesis approach to Petri net based deadlock prevention policy for flexi
Clarification on the computation of liveness-enforcing supervisor for resource allocation systems wi
期刊信息
位置：