基本解释[计算机科学技术]活性判定专业释义计算机科学技术活性判定So liveness decision problem is one of the most important topics in Petri nets theory too.因此，活性判定问题是Petri网理论研究的一个重要方面。