Lautenbach等人曾給出了一般網(wǎng)空標(biāo)識(shí)可再生 (reproducibility of the empty marking)的充要條件,證明了一個(gè)網(wǎng)是空標(biāo)識(shí)可再生的,必須存在含有源(fact)和匯(goal)變遷的非負(fù)T-不變,且由該T-不變所組成的變遷外延子網(wǎng)既不含有死鎖(siphon),也不含有陷阱(trap).擴(kuò)展了這個(gè)結(jié)論,證明了經(jīng)合成、插入、刪除、替換等運(yùn)算后的網(wǎng)仍保持空標(biāo)識(shí)可再生性.還進(jìn)一步證明了空標(biāo)識(shí)可再生網(wǎng)的逆網(wǎng)也是空標(biāo)識(shí)可再生的;無環(huán)空標(biāo)識(shí)可再生Horn網(wǎng)的T-不變一定可實(shí)現(xiàn);一個(gè)含有源和匯變遷的無環(huán)P/T網(wǎng)是空標(biāo)識(shí)可再生的,當(dāng)且僅當(dāng)其被T-不變所覆蓋.這些結(jié)論可為復(fù)雜的邏輯推理及工作流邏輯網(wǎng)的暢通性檢測(cè)提供更為有效的方法,最后給出了相應(yīng)的算法.