發(fā)布時間：2018-03-16 00:24

  本文選題：Petri網(wǎng)　切入點(diǎn)：死鎖控制　出處：《控制理論與應(yīng)用》2017年02期 　論文類型：期刊論文

【摘要】：針對普通Petri網(wǎng)的死鎖問題,本文提出了可實(shí)現(xiàn)最大可達(dá)數(shù)的兩段式死鎖控制策略(deadlock control policy,DCP).第1步,該策略求解原網(wǎng)(N0,M0)的基本信標(biāo)(elementary siphons,ES)和從屬信標(biāo)(dependent siphons,DS),對每個基本信標(biāo)添加控制庫所(control place,CP)和控制變遷(control transition,CT),獲得拓展網(wǎng)系統(tǒng)(N′,M′).第2步,構(gòu)建拓展網(wǎng)系統(tǒng)的P 不變式整數(shù)規(guī)劃問題,測試原網(wǎng)中從屬信標(biāo)的可控性.若所有從屬信標(biāo)滿足可控條件,則直接得到活性受控網(wǎng)系統(tǒng)(N*,M*);反之,對不滿足可控條件的從屬信標(biāo)也添加控制庫所和變遷,從而也得到了(N*,M*).通過理論分析和算例驗(yàn)證,表明了該死鎖控制策略的正確性和有效性.相比目前文獻(xiàn)中的可實(shí)現(xiàn)最大許可行為數(shù)目(number of maximally permissive behavior,NMPB)的普通Petri網(wǎng)死鎖預(yù)防策略,該DCP獲取的活性受控網(wǎng)系統(tǒng)(N*,M*)可達(dá)數(shù)目與原網(wǎng)(N0,M0)是相同的,且最大可達(dá)數(shù)(maximally reachable number,MRN)高于最大許可行為數(shù)目NMPB.
[Abstract]:To solve the deadlock problem of ordinary Petri nets, this paper presents a two-stage deadlock control strategy, which can achieve the maximum number of deadlocks, control policy and DCP.The first step, The strategy solves the basic beacons of N0 / M0) and dependent siphonsof the original network. It adds the control place (CPS) and the control transition control to each basic beacon, and obtains the extended network system. In the second step, the P invariant integer programming problem of the extended network system is constructed, and the P invariant integer programming problem of the extended network system is constructed in the second step, by adding the control control place (CPV) and the control transition control to each basic beacon, and then to obtain the extended network system (N0 / M0). In the second step, the P invariant integer programming problem of the extended network system is constructed. Test the controllability of the dependent beacons in the original network. If all the dependent beacons satisfy the controllable conditions, the active controlled network system can be obtained directly; conversely, the dependent beacons which do not satisfy the controllable conditions are also subject to the addition of a control base and transition. Through theoretical analysis and numerical examples, the correctness and effectiveness of the damned lock control strategy are shown. Compared with the current literature, the maximum allowable number of maximally permissive behaviors and the general Petri net deadlock prevention strategy are compared. The number of active controlled network (DCP) obtained by this DCP is the same as that of N0 (M0), and the maximum reachable number (MRN) is higher than the maximum allowable behavior (NMPB).
【作者單位】： 蘭州理工大學(xué)土木工程學(xué)院;開封大學(xué)電子電氣工程學(xué)院;
【基金】：國家自然科學(xué)基金項(xiàng)目(61364004) 國家出國留學(xué)人員基金項(xiàng)目([2014]5049,201408625045) 蘭州理工大學(xué)博士研究基金項(xiàng)目(B04 237);蘭州理工大學(xué)建工七七基金項(xiàng)目(TM QK 1301)資助~~
【分類號】：TP301.1

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 郝克剛,葉祖堯;分布式程序中固有死鎖的檢測[J];西北大學(xué)學(xué)報(bào)(自然科學(xué)版);1984年04期

2 鄢勇,劉鍵;一種新的分布式死鎖探測與解除方法[J];華中理工大學(xué)學(xué)報(bào);1990年01期

3 孟章榮;死鎖的解法[J];計(jì)算機(jī)工程與設(shè)計(jì);1990年01期

4 常忠;126系統(tǒng)用戶號死鎖故障的探討[J];天津通信技術(shù);1994年03期

5 楊英;超立方和其他網(wǎng)絡(luò)中的無死鎖全自適應(yīng)最小包路徑的選擇:算法和模擬[J];管理科學(xué)文摘;1996年02期

6 柯東林;;死鎖與事務(wù)優(yōu)化[J];鄂州大學(xué)學(xué)報(bào);2007年02期

7 孫鐘秀;;防止死鎖的一種方法[J];南京大學(xué)學(xué)報(bào)(自然科學(xué)版);1978年02期

8 陸云升;關(guān)于計(jì)算機(jī)“死鎖”問題的探討——兼談九○五甲機(jī)死鎖問題[J];南通職大教學(xué)研究;1994年01期

9 王化冰;多資源復(fù)合共用FMS的死鎖研究[J];計(jì)算機(jī)集成制造系統(tǒng)-CIMS;2000年04期

10 茹雨,吳維敏;基于有限容量庫所方法的死鎖防止算法[J];系統(tǒng)仿真學(xué)報(bào);2003年S1期

相關(guān)會議論文 前4條

1 王商武;張長水;韓曾晉;;FMS運(yùn)行中死鎖的預(yù)測和避免[A];1993中國控制與決策學(xué)術(shù)年會論文集[C];1993年

2 張少潤;吳學(xué)軍;;分布式數(shù)據(jù)庫系統(tǒng)中探測及消除死鎖的算法[A];第十屆全國數(shù)據(jù)庫學(xué)術(shù)會議論文集[C];1992年

3 岳昊;;具有多資源需求和柔性加工路徑的順序資源分配系統(tǒng)Petri網(wǎng)模型的死鎖結(jié)構(gòu)特征[A];第二十九屆中國控制會議論文集[C];2010年

4 白哥樂;楊朝紅;王雅文;;多線程死鎖靜態(tài)檢測方法研究[A];第十四屆全國容錯計(jì)算學(xué)術(shù)會議(CFTC'2011)論文集[C];2011年

相關(guān)重要報(bào)紙文章 前1條

1 人民銀行吉林市中心支行科技處 劉志明;解決Sybase數(shù)據(jù)庫死鎖的方法[N];計(jì)算機(jī)世界;2001年

相關(guān)博士學(xué)位論文 前4條

1 朱森;資源分配系統(tǒng)死鎖控制及其應(yīng)用研究[D];西安電子科技大學(xué);2009年

2 趙咪;基于一般Petri網(wǎng)的自動制造系統(tǒng)活性控制器設(shè)計(jì)[D];西安電子科技大學(xué);2009年

3 黃忠華;自動制造系統(tǒng)中的無死鎖調(diào)度與控制[D];上海交通大學(xué);2007年

4 韋娜;基于無死鎖初始標(biāo)識的Petri網(wǎng)控制器設(shè)計(jì)[D];西安電子科技大學(xué);2008年

相關(guān)碩士學(xué)位論文 前10條

1 齊鵬;基于未來鎖集的死鎖規(guī)避技術(shù)研究[D];哈爾濱工業(yè)大學(xué);2015年

2 范景楊;基于時間調(diào)度的柔性制造系統(tǒng)控制器設(shè)計(jì)[D];西安電子科技大學(xué);2014年

3 韋娜;基于混合整數(shù)規(guī)劃的FMS活性控制器設(shè)計(jì)[D];西安電子科技大學(xué);2006年

4 周剛;一種柔性制造系統(tǒng)死鎖控制器的行為優(yōu)化研究[D];西安電子科技大學(xué);2007年

5 史文博;基于高級死鎖檢測的制造系統(tǒng)生產(chǎn)調(diào)度研究[D];上海交通大學(xué);2009年

6 翁東良;基于二型模糊邏輯的死鎖與數(shù)據(jù)競爭檢測方法研究[D];蘇州大學(xué);2012年

7 郝林;基于Petri網(wǎng)的自動制造系統(tǒng)的死鎖分析[D];西安電子科技大學(xué);2002年

8 王心宇;基于一般Petri網(wǎng)的死鎖迭代控制策略的研究[D];西安電子科技大學(xué);2011年

9 汪世勇;Petri網(wǎng)死鎖迭代控制中若干問題研究[D];西安電子科技大學(xué);2010年

10 馬元飛;基于時間著色Petri網(wǎng)的SIP協(xié)議形式化驗(yàn)證與分析[D];內(nèi)蒙古大學(xué);2012年

，

本文編號：1617511