技術(shù)總結(jié)
本發(fā)明涉及一種基于Petri網(wǎng)的自動(dòng)制造系統(tǒng)的穩(wěn)健性控制方法。它通過(guò)首先，檢測(cè)一個(gè)可達(dá)狀態(tài)M下所有使能的變遷，然后在所有的使能變遷中檢測(cè)出保證系統(tǒng)無(wú)死鎖的變遷集合，再在所有的無(wú)死鎖變遷中檢測(cè)出保證系統(tǒng)穩(wěn)健的變遷，最后在所有穩(wěn)健的變遷中檢測(cè)出最大并發(fā)性允許變遷。在最大并發(fā)性允許變遷集合中選擇一個(gè)變遷發(fā)射。每發(fā)射一個(gè)變遷，就會(huì)得到一個(gè)新的狀態(tài)，在新狀態(tài)下，繼續(xù)執(zhí)行上述的步驟。如此反復(fù)，最終得到保證系統(tǒng)穩(wěn)健無(wú)死鎖運(yùn)行的變遷序列，按照該序列發(fā)射，不僅保證系統(tǒng)無(wú)死鎖，而且能保證系統(tǒng)無(wú)阻塞。本發(fā)明應(yīng)用Petri網(wǎng)作為數(shù)學(xué)工具，對(duì)自動(dòng)制造系統(tǒng)進(jìn)行建模，從而實(shí)現(xiàn)系統(tǒng)能持續(xù)流暢的加工。

技術(shù)研發(fā)人員：胡核算;杜楠
受保護(hù)的技術(shù)使用者：西安電子科技大學(xué)
文檔號(hào)碼：201610532730
技術(shù)研發(fā)日：2016.07.07
技術(shù)公布日：2016.12.07