.png){kind=icon}
返回
Deadlock Avoidance Controller Design for Timed Petri Nets Using Stretching
.png){kind=icon}
PRE
AI
DOI：10.1109/JSYST.2008.923193.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The recently introduced method, which was called stretching, is extended to timed Petri nets which may have both controllable and uncontrollable transitions. Using this method, a new Petri net, called stretched Petri net, which has only unit firing durations, is obtained to represent a timed-transition Petri net. Using this net, the state of the original timed Petri net can be represented easily. This representation also makes it easy to design a supervisory controller for a timed Petri net for any purpose. In this paper, supervisory controller design to avoid deadlock is considered in particular. Using this method, a controller is first designed for the stretched Petri net. Then, using this controller, a controller for the original timed Petri net is obtained. Algorithms to construct the reachability sets of the stretched and original timed Petri nets, as well as algorithms to obtain the controller for the original timed Petri net are presented. These algorithms are implemented using MATLAB. Examples are also presented to illustrate the introduced approach.
Keyword:
Deadlock
discrete-event systems (DES)
supervisory control
timed Petri nets (TPNs)
期刊
I
IF:
2.4
论文数:
4.5K
被引数:
387
机构
引用论文
A proof of a conjecture of Buck, Chan, and Robbins on the expected value of the minimum assignment
.png){kind=icon}
PREAI
分享收藏EFFICACY OF BREMELANOTIDE (BMT) TO STABILIZE PODOCYTE FUNCTION AND REDUCE PROTEINURIA IN ADULTS WITH TYPE II DIABETIC NEPHROPATHY: RESULTS FROM A PHASE IIB, OPEN- LABEL STUDYBremelanotide（BMT）稳定足细胞功能并减少成人II型糖尿病肾病患者蛋白尿的疗效：一项II期开放标签研究的结果
PREAI
分享收藏ALDACTONE: DIURETIC OR ACID BASE CORRECTOR IN A HYPOVOLEMIC STATE?ALDACTONE：在低血容量状态下是利尿剂还是酸碱纠正剂？
PREAI
分享收藏A Review and Development Methodology of a LightWeight Security Model for IoT-based Smart Devices
OAAI
OAAI分享收藏分享收藏
查看更多内容