Petri网详细介绍与学习.pptVIP

? 关联矩阵和状态方程 * 第六十页，编辑于星期一：二十点 三十七分。 ? 关联矩阵和状态方程 * 第六十一页，编辑于星期一：二十点 三十七分。 从关联矩阵和状态方程角度，Petri网的迁移使能条件和引发规则有如下形式: 关联矩阵和状态方程 * 第六十二页，编辑于星期一：二十点 三十七分。 状态方程在可达性分析中的应用（1） 状态方程M = M0+CT ·U为部分解决可达性问题提供了一个依据。若Md 从 M0可达则方程CT ·U = Md－ M0 =△M必然存在一个非负整数解Ux，该解即为发生的计数向量。若无这样的解，Md 就不继从M0到达。 示例1 * 第六十三页，编辑于星期一：二十点 三十七分。 实例二生产者、消费者问题的Petri网描述 produce Remove from buffer consume Producer Consumer Buf Put in buffer * 第二十八页，编辑于星期一：二十点 三十七分。 实例二生产者、消费者问题的Petri网描述 produce Remove from buffer consume Producer Consumer Buf Put in buffer * 第二十九页，编辑于星期一：二十点 三十七分。 实例三 Petri网的变迁 P1 P2 P3 P10 P4 P5 P8 P6 P7