Petri网是对离散并行系统的数学表示

Petri 网的状态由令牌在地方的分布决定。 换句话说，当改变完成时有一个确定的状态，等待下一次改变发生。 变化发生时没有确定的状态。 Petri网的类型： 基本Petri网：每个地方的容量是，所以该地方可以称为条件，变化可以称为事件。 因此，也称为条件CE模型的基本关系。 顺序关系：并发关系。 异或关系：在某些事件之后添加死锁关系。 低层培养网：放置容量和重量计时。 Petri网：放置每个事件的持续时间时间表的地方。 接下来，库中新生成的标签通过高级Petri网：谓词/事件网、着色网、随机网等。注意：在Petri网中，经常存在两个转换竞争令牌的情况。 在这种情况下，由于Petri网的时间是不确定的，因此将执行哪个转换也是不确定的。 经典的 Petri 网由四个元组组成（位置、转移、输入函数、输出函数）。 任何图都可以映射到这样的四元组，反之亦然。 可以得到形式化Petri网到允许发生的转移系统的映射。 Petri 是一个三元组，是一组弧。 高级Petri 为了解决经典Petri 网中的问题，开发了高级Petri 网。 在以下几个方面扩展：令牌着色 令牌通常代表具有各种属性的对象，因此令牌具有代表该令牌所建模的对象的特定特征的值（颜色），例如代表工人的令牌（张三） ，网络的数学表示：时间。为了分析，我们需要对周期、延迟等进行建模，因此每个令牌都有一个标记，并且转换决定了生成的令牌的延迟，构建层次结构的复杂性相当于。 Petri网的机制是由地点、转移和子网组成的网络，增加了时序逻辑的定义，以更好地描述行为过程。