位置：成果数据库 > 期刊 > 期刊详情页
Iterative Deadlock Control by Using Petri Nets
  • 期刊名称：IEEE Transactions on Systems, Man, and Cybernetics
  • 时间：2012.11.11
  • 页码：1204-1218
  • 相关项目：自动制造系统死锁控制性能分析与优化
作者： Wang AnRong|Li ZhiWu|Zhou MengChu|Al-Ahmari Abdulrahman M.|
同期刊论文项目
自动制造系统死锁控制性能分析与优化
期刊论文 36 会议论文 10 著作 2
同项目期刊论文
Solving Siphons with the Minimal Cardinality in Petri Nets and its Applications to Deadlock Control
Non-pure Petri Net Supervisors for Optimal Deadlock Control of Flexible Manufacturing Systems
Optimal Controllability of 3-Composed Siphons in a Class of Petri Nets
Hybrid Liveness-Enforcing Policy for Generalized Petri Net Models of Flexible Manufacturing Systems
Supervisor Reconfiguration for Deadlock Prevention by Resources Reallocation
A deadlock prevention policy in Petri nets using necessary siphons
Correction to "Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexib
应用必需信标的Petri网死锁预防策略
An Optimization Approach to Improved Petri Net Controller Design for Automated Manufacturing Systems
Optimal Supervisory Control of Flexible Manufacturing Systems by Petri Nets: A Set Classification Ap
Extended Elementary Siphon-based Deadlock Prevention Policy for a Class of Generalized Petri Nets
Erratum: Liveness of an extended S3PR (Automatica (2010) 46 (1008-1018))
Deadlock Control of Automated Manufacturing Systems Based on Petri Nets-A Literature Review
Confusion Diagnosis and Control of Discrete Event System Using Synchronized Petri Nets
A method on weights decision of green-assessment-indexesfor electromechanical products
An improved method on weights determination of indexes in multi-objective decision
Design of a maximally permissive Liveness-Enforcing Supervisor with a Compressed Supervisory Structu
Monitor Design for Siphon Control in S4R Nets: From Structure Analysis Points of View
Deadlock prevention for a class of petri nets with uncontrollable and unobservable transitions
Most permissive liveness-enforcing Petri net supervisors for flexible manufacturing systems
Behaviorally optimal and structurally simple liveness-enforcing supervisors of flexible manufacturin
An extraction algorithm for a set of elementary siphons based on mixed-integer programming
On structural minimality of optimal supervisors for flexible manufacturing systems
Computation of special markings of Petri nets of manufacturing systems
Necessary and sufficient liveness condition of GS3PR Petri nets, International Journal of Systems Sc
Reachability Analysis of a Class of Petri Nets Using Place Invariants and Siphons
Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing
On nonexistence of a maximally permissive liveness-enforcing pure net supervisor
Maximally Permissive Liveness-Enforcing Supervisor with Lowest Implementation Cost for Flexible Manu
Robustness of deadlock control for a class of Petri nets with unreliable resources
工作流网的混或检测和预防策略
制造系统Petri网特殊标识求解算法
AN EXTRACTION ALGORITHM FOR A SET OF ELEMENTARY SIPHONS BASED ON MIXED-INTEGER PROGRAMMING