基本解释[計算機科學技術]活性判定专业释义計算機科學技術活性判定So liveness decision problem is one of the most important topics in Petri nets theory too.因此，活性判定問題是Petri網理論研究的一個重要方麪。