科技通报
科技通報
과기통보
BULLETIN OF SCIENCE AND TECHNOLOGY
2014年
9期
152-156
,共5页
Petri网%S4PR网%初始资源图%极小信标
Petri網%S4PR網%初始資源圖%極小信標
Petri망%S4PR망%초시자원도%겁소신표
Petri net%S4PR net%initial resource digraph%minimal siphon
作为Petri网的一个结构性目标，信标在柔性制造系统死锁控制理论中起着关键的作用。基于Petri网图论和信标的定义，针对Petri的一类子网S4PR网，提出了一种极小信标的计算方法。首先找出S4PR网的初始资源图，然后根据初始资源图找到所有的资源子图，对应每一个资源子图计算其对应的信标，最后根据极小信标的定义对得到的信标进行判断，删除非极小信标即得到所有的极小信标。给出一个S4PR网的例子解释提出的计算方法的应用，和传统的极小信标的计算方法比较，该计算方法可以节约计算时间，另外该算法可以用于任意规模的S4PR网的极小信标的计算。
作為Petri網的一箇結構性目標，信標在柔性製造繫統死鎖控製理論中起著關鍵的作用。基于Petri網圖論和信標的定義，針對Petri的一類子網S4PR網，提齣瞭一種極小信標的計算方法。首先找齣S4PR網的初始資源圖，然後根據初始資源圖找到所有的資源子圖，對應每一箇資源子圖計算其對應的信標，最後根據極小信標的定義對得到的信標進行判斷，刪除非極小信標即得到所有的極小信標。給齣一箇S4PR網的例子解釋提齣的計算方法的應用，和傳統的極小信標的計算方法比較，該計算方法可以節約計算時間，另外該算法可以用于任意規模的S4PR網的極小信標的計算。
작위Petri망적일개결구성목표，신표재유성제조계통사쇄공제이론중기착관건적작용。기우Petri망도론화신표적정의，침대Petri적일류자망S4PR망，제출료일충겁소신표적계산방법。수선조출S4PR망적초시자원도，연후근거초시자원도조도소유적자원자도，대응매일개자원자도계산기대응적신표，최후근거겁소신표적정의대득도적신표진행판단，산제비겁소신표즉득도소유적겁소신표。급출일개S4PR망적례자해석제출적계산방법적응용，화전통적겁소신표적계산방법비교，해계산방법가이절약계산시간，령외해산법가이용우임의규모적S4PR망적겁소신표적계산。
As a structural object of Petri nets, siphons play an important role in the development of deadlock control policies for FMS. Based on graph theory and siphon definition, a method to compute the minimal siphons for a class of Petri nets is proposed. First, the initial resource digraph of N is found. Second, all subgraph of are found. Third, all siphons are computed. Forth, all minimal siphons are determined by removing siphons that are not minimal. An example is used to illustrate the application of the proposed method, and computation time is reduced by comparing with traditional method. In addition the algorithm can be used compute minimal siphons for any size S4PR network.
