有界Petri網(wǎng)的可逆性和活性的STP判別方法
本文關(guān)鍵詞:有界Petri網(wǎng)的可逆性和活性的STP判別方法
更多相關(guān)文章: Petri網(wǎng) 狀態(tài)演化方程 可逆性 活性 半張量積
【摘要】:基于矩陣半張量積(the semi-tensor product,STP)方法研究了有界Petri網(wǎng)系統(tǒng)的可逆性和活性問題.首先,利用先前所建立的有界Petri網(wǎng)系統(tǒng)的狀態(tài)演化方程,分別給出了有界Petri網(wǎng)系統(tǒng)的可逆性和活性判別的充要條件.文章的結(jié)果是基于矩陣形式的,利用Matlab的STP工具箱,可將Petri網(wǎng)系統(tǒng)的可逆性和活性判別問題轉(zhuǎn)化為簡單直接的矩陣計算問題.所提出的方法不僅形式簡單、計算方便,而且易于計算機實現(xiàn).其次,兩個實例說明了文章所提出方法的可行性和有效性.
【作者單位】: 南開大學(xué)計算機與控制工程學(xué)院;天津市智能機器人技術(shù)重點實驗室;中國民航大學(xué)理學(xué)院;
【關(guān)鍵詞】: Petri網(wǎng) 狀態(tài)演化方程 可逆性 活性 半張量積
【基金】:國家自然科學(xué)基金(61573199,61573200) 天津自然科學(xué)基金(14JCYBJC18700,13JCYBJC17400)資助課題
【分類號】:TP301.1
【正文快照】: i引言Petri網(wǎng)(Petri nets,PNs)是離散事件系統(tǒng)建模、分析和控制的有效工具之一^1,尤其是描述和管控系統(tǒng)的沖突,并發(fā),同步,不確定和隨機等行為非常有效.它受到了來自控制領(lǐng)域和計算機領(lǐng)域?qū)W者的普遍關(guān)注,并被廣泛應(yīng)用于柔性制造系統(tǒng)并行軟件系統(tǒng)@和系統(tǒng)生物學(xué)%等領(lǐng)域.Petri網(wǎng)有
【相似文獻】
中國期刊全文數(shù)據(jù)庫 前10條
1 何文輝;;來勢洶洶——俄羅斯隔音品牌STP正式進軍中國市場[J];音響改裝技術(shù);2012年11期
2 馮琨;俞娜;;我國圖書企業(yè)的STP策略分析[J];人力資源管理;2011年04期
3 李金方;肖東;吳滔;;STP破校園網(wǎng)絡(luò)環(huán)路難題[J];中國教育網(wǎng)絡(luò);2010年10期
4 張耀;周海坤;;STP協(xié)議原理及其在煤礦網(wǎng)絡(luò)中的應(yīng)用[J];煤礦安全;2013年08期
5 張永明,徐濤,郭學(xué)力;通信信令網(wǎng)中的STP[J];電信建設(shè);2005年02期
6 帥勤立;;華為STP交換機維護經(jīng)驗介紹[J];信息通信;2012年04期
7 何文輝;;大展拳腳——俄羅斯STP軍工隔音中國巡回培訓(xùn)盤點[J];音響改裝技術(shù);2012年12期
8 鄭映春;;抑制路噪刻不容緩——奧迪A6L隔音改裝俄羅斯STP隔音[J];音響改裝技術(shù);2013年07期
9 David Becker;;華爾街67億砸向STP[J];每周電腦報;2003年21期
10 翟江南;;電子商務(wù)專業(yè)運用STP策略走出藩籬[J];網(wǎng)絡(luò)財富;2010年13期
中國重要會議論文全文數(shù)據(jù)庫 前2條
1 景勇;;淺析STP單點回接[A];2010年度海洋工程學(xué)術(shù)會議論文集[C];2010年
2 薄麗潔;;Stp防火超薄絕熱保溫板在外墻保溫系統(tǒng)中的應(yīng)用和推廣前景分析[A];2013中國消防協(xié)會科學(xué)技術(shù)年會論文集[C];2013年
中國重要報紙全文數(shù)據(jù)庫 前1條
1 本報記者 顧汶;STP計劃 印度軟件園十年發(fā)展的催化劑[N];中國高新技術(shù)產(chǎn)業(yè)導(dǎo)報;2001年
中國碩士學(xué)位論文全文數(shù)據(jù)庫 前3條
1 楊雅南;STP戰(zhàn)略在商業(yè)健身俱樂部中的應(yīng)用[D];北京體育大學(xué);2008年
2 鄭瑞;關(guān)于金太陽旅行社網(wǎng)絡(luò)營銷STP的分析與選擇[D];西北大學(xué);2004年
3 錢銀濤;MPV轎車市場的STP策略研究[D];南京理工大學(xué);2008年
,本文編號:682780
本文鏈接:http://sikaile.net/kejilunwen/ruanjiangongchenglunwen/682780.html