So liveness decision problem is one of the most important topics in Petri nets theory too.

• 因此，活性判定问题是Petri网理论研究的一个重要方面。