自Petri 先生开创性的工作之后,网论得到了长足进展,至今已形成了相当规模的研究领域。在理论方面,Petri网模型和分析技术的研究取得了许多有价值的成果,Petri网作为一种全新的自动机被开发出来,研究者对此充满了希望,认为Petri网比下推自动机有用,原因是它不存在图灵机所具有的那些可判定问题。在这期间,MIT出现了许多博士论文都是以Petri网为专题的。于是人们也象发现FSM自动机与普通语言之间的关系一样展开了对Petri网语言的研究,研制出了一些复杂的译码方法,并且定义了一些使其证明较易构造的Petri网子类。由于Petri网自己也存在一些可判定问题,许多研究者转而寻找其它形式的自动机