摘要
本文在给出一种位置互连受控Ｐｅｔｒｉ网（ＰＩＣＰＮ）定义的基础上，推导出ＰＩＣＰＮ死锁和临界死锁的充分必要条件，并由此提出相应避免死锁的控制机制．
By means of place interconnected and controlled Petri net (PICPN ),this paper has deducedfrom the ample indispensable conditions of the deadlock and the critical deadlock in PICPN .and introducedthe corresponding deadlock-avoiding control mechanism.
出处
《控制理论与应用》
EI
CAS
CSCD
北大核心
1996年第1期76-79,共4页
Control Theory & Applications
