Petri net is a kind of model which can be used to analyze many kinds of systems.

• 随著资讯时代的进步，各类系统愈来愈复杂，分析这些系统正确性的方法好坏变得很重要。