基本解釋[計(jì)算機(jī)科學(xué)技術(shù)]活性判定專業(yè)釋義計(jì)算機(jī)科學(xué)技術(shù)活性判定So liveness decision problem is one of the most important topics in Petri nets theory too.因此，活性判定問題是Petri網(wǎng)理論研究的一個(gè)重要方麪。