摘要
本文用一种扩展Ｐｅｔｒｉ网，并行过程Ｐｅｔｒｉ网，对竞争使用有限资源的一类并行互斥制造系统进行建模。以此模型为基础，分析了这类制造系统中出现死锁的充要条件，并给出了避免死锁，对共享资源所采取的最大允许反馈控制策略。
In this paper，a class of manufacturing systems of parallel mutual exclusion that shared finite resources is modeled by a kind of extended Petri nets-parallel process Petri nets （PPPN）．Based on this model，the sufficient and necessary conditions for occuring deadlock in manufacturing process is given and the maximally permissive feedback control logic，which allocates the shared resources and avoides deadlock．is presented.
出处
《信息与控制》
CSCD
北大核心
1995年第2期85-89,共5页
Information and Control
基金
863高技术与博士点基金
关键词
制造系统
死锁
并行制造系统
反馈控制
parallel process Petri nets， manufacturing systems of parallel mutual exclusion，shared re-sources，deadlock，discrete event systems
