一類Petri網(wǎng)中基本信標的快速求解算法.pdf

1、柔性制造系統(tǒng)作為一種典型的離散事件系統(tǒng)是Petri網(wǎng)的一個重要應用領域。在柔性制造系統(tǒng)中，由于資源的競爭出現(xiàn)死鎖現(xiàn)象。死鎖預防是基于信標的一種死鎖控制方法。系統(tǒng)中被清空的信標導致死鎖發(fā)生。理論證明，只要控制住一個系統(tǒng)的基本信標，則整個系統(tǒng)不會發(fā)生死鎖?；拘艠耸且活愄厥獾膰栏駱O小信標，它的個數(shù)比嚴格極小信標的個數(shù)少得多，并且不會超過網(wǎng)系統(tǒng)的規(guī)模。 現(xiàn)有的方法中，基本信標是以已知所有的嚴格極小信標為前提的。但是，一個Petri網(wǎng)中

2、的信標的個數(shù)是隨著網(wǎng)的規(guī)模呈指數(shù)增長的。針對一個Petri網(wǎng)子類-S<'3>PR網(wǎng)，本文提出了一種從部分嚴格極小信標中求取基本信標的算法。根據(jù)S<'3>PR網(wǎng)的結構特點，一個S<'3>PR網(wǎng)中的資源回路對應一個信標，在資源回路中不含分支弧的情況下，對應一個嚴格極小信標。我們將S3pR網(wǎng)抽象到一個有向資源圖中。本工作中提出了補集矩陣的概念，并且理論證明，基本信標是補集矩陣對應的信標空間的一個基。從一個資源回路中，也可以求出對應的嚴格極小信