基于著色賦時(shí)面向?qū)ο螅校澹簦颍榫W(wǎng)的ＡＵＶ系統(tǒng)建模研究
2009-08-31 02:13:50劉心印桂生張磊
現(xiàn)代電子技術(shù) 2009年13期
劉 心 印桂生 張 磊
摘要：研究并實(shí)現(xiàn)一種著色賦時(shí)面向?qū)ο驪etri網(wǎng)(CTOPN)建模方法，它將面向?qū)ο蠹夹g(shù)與著色賦時(shí)Petri網(wǎng)相結(jié)合，從而綜合了兩種方法的優(yōu)勢(shì)，降低了Petri網(wǎng)模型的復(fù)雜性，增加了時(shí)間描述，便于系統(tǒng)定量分析。首先給出CTOPN的形式定義。然后建立AUV系統(tǒng)的CTOPN模型，最后給出模型的死鎖檢測(cè)算法，從而驗(yàn)證模型無(wú)死鎖，為系統(tǒng)仿真創(chuàng)造了條件。
關(guān)鍵詞：著色賦時(shí)Petri網(wǎng)；面向?qū)ο螅蛔灾魇剿聶C(jī)器人；建模；死鎖
中圖分類(lèi)號(hào)：TP301文獻(xiàn)標(biāo)識(shí)碼：A文章編號(hào)：1004—373X(2009)13—167—04
