生产计划和控制制造系统的建模方法.pptx

第4章制造系统建模方法活动循环图法（ACD）--基本原理活动循环图法（ACD）--建模方法与建模过程活动循环图法（ActivityCycleDiagram，ACD）活动循环图法（ACD）--举例活动循环图法（ACD）--举例活动循环图法（ACD）--举例活动循环图法（ACD）--举例活动循环图法（ACD）--建模步骤4.4Petri网建模与仿真4.4.1Petri网概述4.4.2Petri基本概念4.4.3Petri网运行规则4.4.4Petri网变迁间关系4.4.5Petri网行为特征4.4.6Petri网行为特征分析方法4.4.7Petri网分类4.4.8Petri网建模举例4.4.9高级Petri网4.4.1Petri网概述4.4.1Petri网概述4.4.2Petri基本概念4.4.2Petri基本概念4.4.2Petri基本概念4.4.2Petri基本概念4.4.2Petri基本概念4.4.2Petri基本概念4.4.2Petri基本概念4.4.2Petri基本概念4.4.2Petri基本概念4.4.2Petri基本概念4.4.2Petri基本概念4.4.3Petri网运行规则4.4.3Petri网运行规则4.4.3Petri网运行规则例：依据Petri网运行规则，按照t1t2t3t4次序，依次对图1中变迁发生进行检验。4.4.4Petri网变迁间关系4.4.4Petri网变迁间关系Petri网可达性、有界性和安全性、活性以及可逆性。4.4.5Petri网行为特征4.4.5Petri网行为特征4.4.5Petri网行为特征4.4.5Petri网行为特征在自动化制造系统中，许多资源是共享。在这么资源共享系统中，以下4个情况可能同时满足，从而导致锁死：1）互斥：一个资源不可认为2个或2个以上过程同时使用，一过程排斥其它过程对于该资源占用；2）占用且等候：一过程已占用某一或某些资源，同时又在请求占用其它资源；3）无抢占：已分配给某一过程资源不能从该过程中抢走，除非该过程使用此资源完成后释放；4）循环等候：2个或更多过程排成一个链，链上每个过程都在等候一个正在被链上下一个过程占用资源。4.4.5Petri网行为特征4.4.5Petri网行为特征4.4.5Petri网行为特征4.4.5Petri网行为特征4.4.5Petri网行为特征4.4.5Petri网行为特征4.4.5Petri网行为特征4.4.5Petri网行为特征4.4.5Petri网行为特征4.4.6Petri网行为特征分析方法4.4.6Petri网行为特征分析方法4.4.6Petri网行为特征分析方法4.4.6Petri网行为特征分析方法4.4.6Petri网行为特征分析方法4.4.6Petri网行为特征分析方法4.4.6Petri网行为特征分析方法4.4.6Petri网行为特征分析方法4.4.6Petri网行为特征分析方法4.4.6Petri网行为特征分析方法4.4.6Petri网行为特征分析方法4.4.6Petri网行为特征分析方法4.4.6Petri网行为特征分析方法4.4.6Petri网行为特征分析方法4.4.6Petri网行为特征分析方法4.4.6Petri网行为特征分析方法4.4.7Petri网分类4.4.8Petri网建模举例4.4.8Petri网建模举例4.4.8Petri网建模举例4.4.9高级Petri网4.4.9高级Petri网4.4.9高级Petri网4.4.9高级Petri网4.4.9高级Petri网4.4.9高级Petri网