生产计划与控制04第四章制造系统的建模方法.pptVIP

4.4.6 Petri网的行为特性分析方法 （2） 状态方程分析法—状态方程在可达性分析中的应用 例：在下图中 4.4.6 Petri网的行为特性分析方法 （2） 状态方程分析法—状态方程在可达性分析中的应用 4.4.6 Petri网的行为特性分析方法 （2） 状态方程分析法—状态方程在可达性分析中的应用 4.4.6 Petri网的行为特性分析方法 （2） 状态方程分析法—状态方程在可达性分析中的应用 4.4.6 Petri网的行为特性分析方法 （2） 状态方程分析法—状态方程在可达性分析中的应用 4.4.6 Petri网的行为特性分析方法 （2） 状态方程分析法—状态方程在可达性分析中的应用 4.4.6 Petri网的行为特性分析方法 （2） 状态方程分析法—状态方程在可达性分析中的应用 * 4.4.7 Petri网的分类 根据容量函数K和权函数W取值范围不同，可以将Petri网系统分为三种类型： 1）K ≡1和W ≡1.此时库所元素只能有“有令牌”和“无令牌”两种状态。因而可以理解为“真”与“假”两种状态的布尔运算。网论中将这种库所称为条件，只与条件关联的变迁称为事件。由条件和事件构成的网系统称为基本Petri网系统。 2） K ≡ ω和W ≡1.这类系统称为Petri网的网系统，也称库所/变迁网（P/T网）。 3） K和W为任意函数。将K和W为任意函数的系统称为库所/变迁系统（ P/T系统）。 一般地，将P/T网和P/T系统统称为低级Petri网系统（LLPT） * 4.4.8 Petri网建模举例 * 4.4.8 Petri网建模举例 * 4.4.8 Petri网建模举例 t ` 12 * 4.4.9 高级Petri网 前面接受的基本Petri网系统（低级Petri网系统）主要有两大不足： （1）表达能力有限。稍微复杂一点的系统就要使用大量的库所和变迁，由此所引起的“组合爆炸”问题使得Petri网往往难于理解和分析。 （2） 不能表示事件间的时间关系。 为了有效地解决这两个问题，并且在应用中不断改进，人们提出了高级Petri网系统。 * 4.4.9 高级Petri网 高级Petri网给令牌赋予某种特性，可以丰富Petri网的模型语义。高级Petri网有： （1）谓词/变迁网(Perdicate/Transition Net)，谓词/变迁网为变迁的发生规定了谓词条件。 （2）有色Petri网(Colored Petri Net,CPN)，有色Petri网为网中每一库所定义了一个令牌色彩集，并且为网中的每一变迁定义一个动作色彩集。 备注：这两种高级Petri网分别使用谓词和色彩的抽象方法把具有“同类”功能的库所和变迁分别进行合并，从而大大减少了库所和变迁的数目。 * 4.4.9 高级Petri网 （3）时间Petri网(Timed Petri Net)（包括随即Petri网（stochastic Petri Net））， 时间Petri网考虑变迁（事件）发生到结束所需的时间（随即Petri网把变迁的发生看作是一个随机过程，其持续时间服从一定的概率分布）。通过引入时间概念，用来评价网系统的实时性能，能更真实地反映系统状态。 备注：时间Petri网将每一时间标在对应的库所旁，这样库所中的令牌要经过一段时间才能参与Petri网运行。也可以将时间标在变迁上，这样，授权发生的变迁需延迟一发生段时间后才能发生；或者变迁发生后立即输入库所移走相应数量的令牌，但要延迟一段时间才在输出库所产生令牌。 4.4.9 高级Petri网 （1）谓词/变迁网 这里通过著名的“哲学家就餐问题”介绍谓词/变迁网。首先将其表示成基本Petri网，然后通过引入谓词将其简化为谓词/变迁网。 4.4.9 高级Petri网 （1）“哲学家就餐问题” di—第i个哲学家思考,i=1,2,3; ei—第i个哲学家就餐,i=1,2,3; gi—第i支筷子可用(规定第i个 哲学家左手的筷子为第i 支筷子),i=1,2,3; ti—第i个哲学家停止思考,开 始就餐，i=1,2,3; ui—第i个哲学家停止就餐,开 始思考，i=1,2,3; 4.4.9 高级Petri网 （1）“哲学家就餐问题” 该网系统存在分别具有“同类”功能的两种实体：哲学家和筷子，分别用pi和gi表示第i个哲学家和第i支筷子，i=1,2,3。Pi只有两种状态：思考和就餐，分别用谓词d(pi)和e(pi)表示；gi只设一种状态：可用（空着），用谓词g(gi)表示，如下图所示。 * * * * * * 欧米噶  * * 欧米噶  * * 欧米噶  * * 欧米