基于Petri網(wǎng)結(jié)構(gòu)特性的可達(dá)性求解
2022-07-04 02:54:40段珊王金娟
計(jì)算技術(shù)與自動(dòng)化 2022年2期
段珊 王金娟
關(guān)鍵詞：Petri網(wǎng);關(guān)聯(lián)矩陣;T_不變量;借庫所;可達(dá)變遷向量
計(jì)算技術(shù)與自動(dòng)化2022年2期
- 計(jì)算技術(shù)與自動(dòng)化的其它文章
- 離散異構(gòu)線性多智能體系統(tǒng)的輸出一致性
- 基于深度學(xué)習(xí)的移動(dòng)機(jī)器人自主導(dǎo)航實(shí)驗(yàn)平臺(tái)
- 基于LCC-S補(bǔ)償拓樸MCR-WPT系統(tǒng)的寬范圍阻抗匹配研究
- 基于簡(jiǎn)化特征匹配的雙目視覺測(cè)量系統(tǒng)及其參數(shù)計(jì)算
- 人工智能技術(shù)在自然語音糾錯(cuò)與反饋系統(tǒng)設(shè)計(jì)中的應(yīng)用
- 基于主動(dòng)學(xué)習(xí)的試油氣井控領(lǐng)域命名實(shí)體識(shí)別模型