劉 心 印桂生 張 磊
摘要:研究并實(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ī)器人;建模;死鎖
中圖分類號(hào):TP301文獻(xiàn)標(biāo)識(shí)碼:A文章編號(hào):1004—373X(2009)13—167—04