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

【摘要】：提出了一種基于基本標(biāo)識(shí)圖的Petri網(wǎng)的在線監(jiān)督控制策略.首先根據(jù)原Petri網(wǎng)的初始標(biāo)識(shí)與變遷的可控性,建立基本標(biāo)識(shí)圖,通過(guò)求解整數(shù)規(guī)劃將其中節(jié)點(diǎn)標(biāo)記為合法或弱非法標(biāo)識(shí).之后基于標(biāo)記的基本標(biāo)識(shí)圖對(duì)Petri網(wǎng)中的可控變遷進(jìn)行在線控制,從而防止系統(tǒng)到達(dá)非法標(biāo)識(shí).該控制策略能夠避免可達(dá)圖的窮舉計(jì)算,具有良好的效率.
[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é)機(jī)電工程學(xué)院;
【基金】：國(guó)家自然科學(xué)基金資助項(xiàng)目(61374068,61472295)
【分類(lèi)號(hào)】：TP301.1

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2 董利達(dá);基于序狀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)及事件日志的過(guò)程挖掘方法研究[D];安徽理工大學(xué);2016年

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

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

5 張金玲;基于Petri網(wǎng)的乳制品冷鏈運(yùn)作效率仿真研究[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è)計(jì)[D];太原理工大學(xué);2006年

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

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

，

本文編號(hào)：1790797