分析多时序Petri网的自动机模型

分析多时序Petri网的自动机模型引言Petri网是一种基于时间的建模工具，它通过描述系统中各个状态之间的关系和迁移事件来对系统进行建模，而多时序Petri网则是一种基于时间约束的Petri网扩展，其