liveness decision

So liveness decision problem is one of the most important topics in Petri nets theory too.
因此，活性判定問題是Petri網(wǎng)理論研究的一個重要方麪。