CAJ | 학술논문

Petri网作为一种新兴的数学建模工具，被广泛地应用于各类制造系统中。现有的死锁预防控制策略大多采用对极小信标添加控制库所来达到死锁预防的目的。因此，严格极小信标在柔性制造系统的死锁预防中占据极其重要的地位。对于一类含有资源的简单资源顺序进程网(S3 PR)，笔者首先定义了一类特殊库所，通过分析特殊库所和环资源子集的关系，提出判定环资源子集对应的信标是否为严格极小信标的定理，基于判定定理有效求解出严格极小信标。实验结果表明，该方法可以快速地计算出 S3 PR网中的严格极小信标。
Petri망작위일충신흥적수학건모공구，피엄범지응용우각류제조계통중。현유적사쇄예방공제책략대다채용대겁소신표첨가공제고소래체도사쇄예방적목적。인차，엄격겁소신표재유성제조계통적사쇄예방중점거겁기중요적지위。대우일류함유자원적간단자원순서진정망(S3 PR)，필자수선정의료일류특수고소，통과분석특수고소화배자원자집적관계，제출판정배자원자집대응적신표시부위엄격겁소신표적정리，기우판정정리유효구해출엄격겁소신표。실험결과표명，해방법가이쾌속지계산출 S3 PR망중적엄격겁소신표。
Petri nets are used to model the concurrent execution and the deadlock problem in a flexible manufacturing system (FMS).Strict minimal siphons (SMS) play an important role in the development of deadlock control policies for FMS.In this paper,for a class of Petri nets called Systems of Simple Sequential Processes with Resources (S3 PR),we propose a more effective method to compute SMS by analyzing a special class of places in S3 PR.First,the concept of special places is proposed.Next,by analyzing the relationship between the special places and the loop resource subsets,some conditions for loop resource subsets to generate SMS are established. Based on those conditions, we can compute SMS effectively.Experimental results show that the proposed method is an effective one when the special places exist in S3 PR.