結(jié)構(gòu)活網(wǎng)極小標(biāo)識的一個求解算法
- 期刊名字:四川大學(xué)學(xué)報(bào)(自然科學(xué)版)
- 文件大小:
- 論文作者:葉劍虹,石建,宋文
- 作者單位:電子科技大學(xué)計(jì)算機(jī)科學(xué)與工程學(xué)院,西華大學(xué)數(shù)學(xué)與計(jì)算機(jī)學(xué)院
- 更新時間:2023-02-17
- 下載次數(shù):次
論文簡介
活性(Liveness)是Petri網(wǎng)的基本性質(zhì).從網(wǎng)的關(guān)聯(lián)矩陣以及所定義變遷發(fā)生序列的結(jié)構(gòu),求解結(jié)構(gòu)活網(wǎng)的極小標(biāo)識,得到了一個多項(xiàng)式時間算法.
論文截圖
版權(quán):如無特殊注明,文章轉(zhuǎn)載自網(wǎng)絡(luò),侵權(quán)請聯(lián)系cnmhg168#163.com刪除!文件均為網(wǎng)友上傳,僅供研究和學(xué)習(xí)使用,務(wù)必24小時內(nèi)刪除。
熱門推薦
-
C4烯烴制丙烯催化劑 2023-02-17
-
煤基聚乙醇酸技術(shù)進(jìn)展 2023-02-17
-
生物質(zhì)能的應(yīng)用工程 2023-02-17
-
我國甲醇工業(yè)現(xiàn)狀 2023-02-17
-
石油化工設(shè)備腐蝕與防護(hù)參考書十本免費(fèi)下載,絕版珍藏 2023-02-17
-
四噴嘴水煤漿氣化爐工業(yè)應(yīng)用情況簡介 2023-02-17
-
Lurgi和ICI低壓甲醇合成工藝比較 2023-02-17
-
甲醇制芳烴研究進(jìn)展 2023-02-17
-
精甲醇及MTO級甲醇精餾工藝技術(shù)進(jìn)展 2023-02-17
