【摘要】：在系統(tǒng)地研究了時間約束 Petri網(wǎng)的基礎(chǔ)上 ,提出了一般的狀態(tài)可達性分析方法。通過討論任意拓撲結(jié)構(gòu) TCPN′s的可調(diào)度分析 ,克服了以往 TCPN′s可達性分析方法的局限性 ,顯示了該方法的準(zhǔn)確性和實用性。
[Abstract]:Based on the systematic study of time constrained Petri nets, a general method of state reachability analysis is proposed. By discussing the schedulable analysis of TCPN's with arbitrary topology, the limitations of previous TCPN's reachability analysis methods are overcome, and the accuracy and practicability of this method are demonstrated.
【作者單位】： 西安交通大學(xué)系統(tǒng)工程研究所!710049 西安交通大學(xué)系統(tǒng)工程研究所!710049
【分類號】：C934

【相似文獻】

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

1 欒飛;楊瑋;;基于匈牙利算法的自動化立體倉庫出入庫優(yōu)化調(diào)度[J];陜西科技大學(xué)學(xué)報(自然科學(xué)版);2011年03期

2 姚丹;;基于廣義隨機Petri網(wǎng)的供應(yīng)鏈物流模式構(gòu)建[J];統(tǒng)計與決策;2011年15期

3 張慧穎;王輝;;網(wǎng)絡(luò)環(huán)境下創(chuàng)意產(chǎn)生階段企業(yè)知識流耦合控制模型研究[J];西安電子科技大學(xué)學(xué)報(社會科學(xué)版);2011年04期

4 盧亞輝;明仲;張力;;業(yè)務(wù)過程協(xié)同模式的研究[J];計算機集成制造系統(tǒng);2011年08期

5 王軍;陳軍華;徐彬;張懿;;運煤專用線列車運行的Petri網(wǎng)仿真模型研究[J];物流技術(shù);2011年15期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

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

1 王志堅;蔡自興;;基于Petri網(wǎng)的制造系統(tǒng)建模與分析[A];面向制造業(yè)的自動化與信息化技術(shù)創(chuàng)新設(shè)計的基礎(chǔ)技術(shù)——2001年中國機械工程學(xué)會年會暨第九屆全國特種加工學(xué)術(shù)年會論文集[C];2001年

2 趙彩霞;高學(xué)東;喬衛(wèi)義;;基于Petri網(wǎng)的工作流建模技術(shù)在社會保險系統(tǒng)中的應(yīng)用[A];全國第八屆工業(yè)工程與企業(yè)信息化學(xué)術(shù)會議論文集[C];2004年

3 尹章才;李霖;;基于Petri網(wǎng)的時空拓撲關(guān)系研究[A];中國地理信息系統(tǒng)協(xié)會第八屆年會論文集[C];2004年

4 楊亞偉;朱濤;;基于工作流技術(shù)的鐵路運輸調(diào)度系統(tǒng)的設(shè)計方法[A];快速提升鐵路建設(shè)與裝備現(xiàn)代化技術(shù)促進鐵路跨越式發(fā)展——中國科協(xié)第五屆青年學(xué)術(shù)年會第九分會場論文集[C];2004年

5 徐光輝;徐志軍;;C/E系統(tǒng)Petri網(wǎng)的VHDL建模與仿真[A];開創(chuàng)新世紀(jì)的通信技術(shù)——第七屆全國青年通信學(xué)術(shù)會議論文集[C];2001年

6 侯立文;蔣馥;;客戶忠誠度提升決策研究[A];2004年中國管理科學(xué)學(xué)術(shù)會議論文集[C];2004年

7 喬非;吳啟迪;沈榮芳;;基于Petri網(wǎng)的事務(wù)流程模型[A];管理科學(xué)與系統(tǒng)科學(xué)進展——全國青年管理科學(xué)與系統(tǒng)科學(xué)論文集（第4卷）[C];1997年

8 薛靜鋒;曹元大;;Petri網(wǎng)在入侵檢測中的應(yīng)用[A];第六屆全國計算機應(yīng)用聯(lián)合學(xué)術(shù)會議論文集[C];2002年

9 胡紅革;黃大貴;謝閱;;混和系統(tǒng)Petri網(wǎng)模型的行為特性及判定方法[A];2004全國測控、計量與儀器儀表學(xué)術(shù)年會論文集（下冊）[C];2004年

10 胡瑜;陳光(礻禹);;GPIB高速數(shù)據(jù)傳輸協(xié)議的Petri網(wǎng)模型及分析[A];首屆信息獲取與處理學(xué)術(shù)會議論文集[C];2003年

相關(guān)重要報紙文章 前10條

1 北京天石科技有限責(zé)任公司;安全實施辦公自動化[N];中國計算機報;2003年

2 ;LAN[N];中國高新技術(shù)產(chǎn)業(yè)導(dǎo)報;2005年

3 廣東省電信科學(xué)技術(shù)研究院多媒體部 張宇飛 盧燕青;實時系統(tǒng)軟件分析和設(shè)計方法綜述[N];中國計算機報;2000年

4 ;反垃圾郵件 技術(shù)介紹和部署思路[N];中國電腦教育報;2005年

5 孟懷縈口述 t文整理;802.11的昨日 今日 明日[N];電子資訊時報;2004年

6 馬云飛;合適的就是最好的[N];中國計算機報;2003年

7 ;廉價部署軟件VPN[N];計算機世界;2005年

8 ;掐住入侵者的咽喉[N];計算機世界;2003年

9 中科院計算所 孫凝暉;并行I/O往哪兒走？[N];計算機世界;2002年

10 海文;2003海德堡公司增強IT安全標(biāo)準(zhǔn)[N];中國包裝報;2004年

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

1 成斌;基于TCPN模型的并行系統(tǒng)性能分析方法研究[D];上海大學(xué);2011年

2 羅鵬程;基于Petri網(wǎng)的系統(tǒng)安全性建模與分析技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2001年

3 劉皓瑋;行車指揮系統(tǒng)的Petri網(wǎng)建模與列車運行調(diào)整的遺傳優(yōu)化的研究[D];鐵道部科學(xué)研究院;2000年

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

5 王斌君;工作流過程模型的層次研究及其分析[D];西北大學(xué);2002年

6 薛雷;基于Petri網(wǎng)的集成電路柔性制造系統(tǒng)建模、分析及調(diào)度[D];西安電子科技大學(xué);2001年

7 周榮輔;基于先進制造技術(shù)的制造業(yè)生產(chǎn)流程再造研究[D];燕山大學(xué);2007年

8 王占中;基于Petri網(wǎng)的多式聯(lián)運流程優(yōu)化研究[D];吉林大學(xué);2007年

9 何豐;語義Web服務(wù)組合若干關(guān)鍵技術(shù)研究[D];東華大學(xué);2008年

10 高昆;基于DSP并行處理系統(tǒng)的虛擬儀器設(shè)計方法的研究[D];浙江大學(xué);2002年

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

1 戴敬周;用Petri網(wǎng)對語義網(wǎng)絡(luò)歧義性和推理不確定性改進的探索[D];太原理工大學(xué);2002年

2 熊惠明;Petri網(wǎng)在FMS中的若干應(yīng)用研究[D];西安電子科技大學(xué);2004年

3 張國群;軟件項目開發(fā)中并行工程方法的過程建模的研究與應(yīng)用[D];南京理工大學(xué);2005年

4 秦巧妹;安陽供電公司業(yè)擴報裝流程再造研究[D];華北電力大學(xué)（北京）;2007年

5 潘德橋;基于UML-Petri網(wǎng)的艦載作戰(zhàn)系統(tǒng)信息流建模與分析[D];華中科技大學(xué);2006年

6 馬柯;企業(yè)項目管理信息系統(tǒng)及工作流技術(shù)的研究[D];西安電子科技大學(xué);2006年

7 胡輝;業(yè)務(wù)流程再造（BPR）理論與系統(tǒng)建模仿真研究[D];西安電子科技大學(xué);2005年

8 賀細平;基于Petri網(wǎng)的主動數(shù)據(jù)庫規(guī)則建模與行為分析[D];長沙理工大學(xué);2004年

9 余永佳;基于Petri網(wǎng)的項目管理、優(yōu)化和決策技術(shù)[D];南京理工大學(xué);2005年

10 周穎;工作流中并發(fā)流程間資源沖突的研究[D];山東大學(xué);2005年

，

本文編號：2188896