Petri网以研究系统模型的组织结构和动态行为为目标，着眼于系统中可能发生的各种状态变化以及变化之间的关系。Petri网可以用简单的图形元素表示系统变化发生的条件，以及变化发生后的系统状态。　　 随着分析问题的深入和系统复杂度的提高，大量的因素引入Petri网系统中。网系统增加的因素包括条件、时间等等。其中时间因素对网系统的影响很大，在时间因素的作用下网系统的运行方式，基础特性以及运行情况也发生了变化。　　 因而，求解多时序Petri网的各种特性变得较为困难。同时，原有求解Petri网系统的方法都是通过网系统的转置矩阵。根据不同的特性，建立与转制矩阵相关的表达式与矩阵方程。通过对方程和表达式的求解来得到相应问题域的答案。但这样的求解方式是建立在矩阵计算基础之上的。我们都知道矩阵的计算需要进行大量的乘法，同时矩阵中存在大量的元素其数值为零。这样的矩阵运算中存在很多不必要的乘零运算。特别是随着问题规模的扩大，必然带来矩阵维数的增加，这些乘零运算就更加降低系统的效率。这样利用矩阵方程来求解Petri网的方式的效率将越来越低，计算机实现的效率也大幅度的降低。　　 回避矩阵计算是提高计算分析性能的有效方法。我们可以从网系统的结构出发，利用图论与离散算法的特性构建分析网系统的算法逻辑。把矩阵计算转变为围绕特定数据结构与逻辑算法的工作过程，并用相应的形式语言定义这些结构与逻辑，建立分析多时序Petri网的自动机模型。利用针对不同问题的Petri网的系统，对实际的问题加以求解。