Petri網(wǎng)可達(dá)性的偽標(biāo)識判定法

期刊名字：計算機應(yīng)用與軟件
文件大?。?/li>
論文作者：楊夏妮
作者單位：玉林師范學(xué)院計算機科學(xué)與工程學(xué)院
更新時間：2023-02-17
下載次數(shù)：次

論文簡介

Petri網(wǎng)標(biāo)識的可達(dá)性判定問題是進行Petri網(wǎng)分析的基礎(chǔ).在分析目前現(xiàn)有的判定Petri網(wǎng)可達(dá)性的求解方法的基礎(chǔ)上,提出一種偽標(biāo)識判定法.該方法在狀態(tài)方程法的基礎(chǔ)上,利用關(guān)聯(lián)矩陣來判斷變遷發(fā)射向量是否能夠發(fā)生來篩除偽標(biāo)識.通過對實例的求解說明了求解過程并證明了算法能夠確保對所得結(jié)果的可靠性,減少了算法的時間復(fù)雜度.

論文截圖

上一條：VI標(biāo)識導(dǎo)向工程在環(huán)藝專業(yè)的應(yīng)用設(shè)計

下一條：轉(zhuǎn)基因生物的標(biāo)識問題及管理對策

版權(quán)：如無特殊注明，文章轉(zhuǎn)載自網(wǎng)絡(luò)，侵權(quán)請聯(lián)系cnmhg168#163.com刪除！文件均為網(wǎng)友上傳，僅供研究和學(xué)習(xí)使用，務(wù)必24小時內(nèi)刪除。