本文選題：Petri網(wǎng) + 監(jiān)督控制��； 參考：《西安電子科技大學(xué)學(xué)報》2016年06期

【摘要】：提出了一種基于基本標(biāo)識圖的Petri網(wǎng)的在線監(jiān)督控制策略.首先根據(jù)原Petri網(wǎng)的初始標(biāo)識與變遷的可控性,建立基本標(biāo)識圖,通過求解整數(shù)規(guī)劃將其中節(jié)點標(biāo)記為合法或弱非法標(biāo)識.之后基于標(biāo)記的基本標(biāo)識圖對Petri網(wǎng)中的可控變遷進行在線控制,從而防止系統(tǒng)到達非法標(biāo)識.該控制策略能夠避免可達圖的窮舉計算,具有良好的效率.
[Abstract]:An online supervisory control strategy for Petri nets based on basic identification graph is proposed. Firstly, according to the controllability of the initial identification and transition of the original Petri net, the basic identification graph is established, and the nodes are marked as legal or weakly illegal by solving integer programming. Then, the controllable transition in Petri net is controlled online based on the marking basic identification graph, so as to prevent the system from reaching the illegal mark. This control strategy can avoid Datuk's exhaustive calculation and has good efficiency.
【作者單位】： 西安電子科技大學(xué)機電工程學(xué)院;
【基金】：國家自然科學(xué)基金資助項目(61374068,61472295)
【分類號】：TP301.1

【相似文獻】

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

1 郝克剛,段振華;多出口Petri網(wǎng)與Petri網(wǎng)的等價性[J];計算機學(xué)報;1989年05期

2 ;第八屆全國Petri網(wǎng)學(xué)術(shù)年會征文通知[J];計算機學(xué)報;2001年02期

3 王精明;江怡順;;基于Petri網(wǎng)的非演繹安全模型的分析與驗證[J];滁州學(xué)院學(xué)報;2012年02期

4 王自強;馮博琴;;基于參數(shù)化Petri網(wǎng)的主動數(shù)據(jù)庫的行為研究[J];計算機科學(xué);2003年02期

5 黃金志,胡健生,廖峗,柴仁文;基于Petri網(wǎng)的程序緩沖區(qū)溢出檢測方法[J];計算機應(yīng)用;2005年05期

6 郁ng;李彤;王煒;張坤;;基于Petri網(wǎng)的軟件演化過程[J];計算機應(yīng)用與軟件;2008年10期

7 高瑞敏;許勇;張建飛;;一種基于Petri網(wǎng)的全局可控網(wǎng)絡(luò)的構(gòu)建方案[J];軟件導(dǎo)刊;2012年01期

8 欒文靜;杜玉越;;基于邏輯Petri網(wǎng)的圖書館借閱系統(tǒng)的建模與分析[J];系統(tǒng)仿真學(xué)報;2008年S2期

9 易俗;殷慧文;;基于Petri網(wǎng)的機務(wù)工程管理工作流建模[J];遼寧大學(xué)學(xué)報(自然科學(xué)版);2010年02期

10 陳順益;劉曉輝;;一種Petri網(wǎng)工具軟件[J];計算技術(shù)與自動化;1992年01期

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

1 薛瑜;李承家;呂莉芳;;模糊Petri網(wǎng)與連續(xù)Petri網(wǎng)的關(guān)系[A];第九屆中國不確定系統(tǒng)年會、第五屆中國智能計算大會、第十三屆中國青年信息與管理學(xué)者大會論文集[C];2011年

2 張旭;魏建;熊靜;;基于Petri網(wǎng)的民航旅行代理服務(wù)工作流建模研究[A];2008'中國信息技術(shù)與應(yīng)用學(xué)術(shù)論壇論文集（一）[C];2008年

3 張輝;董榮勝;高西;;一種嵌入式系統(tǒng)擴展流關(guān)系Petri網(wǎng)及應(yīng)用[A];廣西計算機學(xué)會2007年年會論文集[C];2007年

4 劉長有;秦瑛;;基于Petri網(wǎng)的機場航班流量優(yōu)化調(diào)度[A];2006中國控制與決策學(xué)術(shù)年會論文集[C];2006年

5 呂莉芳;李承家;薛瑜;;時延離散Petri網(wǎng)的形式分析[A];第九屆中國不確定系統(tǒng)年會、第五屆中國智能計算大會、第十三屆中國青年信息與管理學(xué)者大會論文集[C];2011年

6 桂志波;周德民;鄭應(yīng)平;;一種加時變遷Petri網(wǎng)的形式化描述與分析[A];1997中國控制與決策學(xué)術(shù)年會論文集[C];1997年

7 王志堅;蔡自興;;基于Petri網(wǎng)的企業(yè)信息化系統(tǒng)統(tǒng)一建模研究[A];第二十六屆中國控制會議論文集[C];2007年

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

1 郭金維;基于函數(shù)配置的柔性制造系統(tǒng)Petri網(wǎng)控制器設(shè)計[D];西安電子科技大學(xué);2014年

2 董利達;基于序狀Petri網(wǎng)的離散事件系統(tǒng)監(jiān)控理論[D];浙江大學(xué);2004年

3 吳維敏;離散事件系統(tǒng)的Petri網(wǎng)控制器綜合[D];浙江大學(xué);2002年

4 岳昊;基于混合Petri網(wǎng)的城市道路交通網(wǎng)絡(luò)建模與仿真[D];山東科技大學(xué);2009年

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

1 張?zhí)O;基于Petri網(wǎng)的肉牛質(zhì)量追溯SaaS應(yīng)用研發(fā)[D];西北農(nóng)林科技大學(xué);2015年

2 化佩;基于Petri網(wǎng)及事件日志的過程挖掘方法研究[D];安徽理工大學(xué);2016年

3 李巍;基于Petri網(wǎng)的工作流建模方法與應(yīng)用研究[D];大連海事大學(xué);2008年

4 周彥;基于Petri網(wǎng)分解技術(shù)的電網(wǎng)故障診斷建模技術(shù)研究[D];長沙理工大學(xué);2012年

5 張金玲;基于Petri網(wǎng)的乳制品冷鏈運作效率仿真研究[D];哈爾濱工業(yè)大學(xué);2013年

6 張舍予;基于Petri網(wǎng)的多品種小批量生產(chǎn)企業(yè)生產(chǎn)流程建模研究[D];哈爾濱工業(yè)大學(xué);2015年

7 楊偉;基于Petri網(wǎng)的蟻群算法在混流制造生產(chǎn)調(diào)度中的研究[D];廣東工業(yè)大學(xué);2014年

8 張其亮;基于Petri網(wǎng)的工作流引擎的研究與設(shè)計[D];太原理工大學(xué);2006年

9 田維新;基于Petri網(wǎng)的離散事件系統(tǒng)仿真模型及其應(yīng)用研究[D];華中科技大學(xué);2006年

10 崔玉爽;基于時間Petri網(wǎng)與智能優(yōu)化算法相結(jié)合的任務(wù)調(diào)度研究[D];長沙理工大學(xué);2011年

，

本文編號：1790797