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

2024/1/142024/1/142024/1/142024/1/142024/1/1467894.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网2024/1/142024/1/142024/1/142024/1/142024/1/142024/1/142024/1/142024/1/142024/1/142024/1/142024/1/142024/1/142024/1/142024/1/142024/1/144.4.3Petri网的运行规则例：根据Petri网的运行规则按照t1t2t3t4的顺序依次对图1中变迁发生进行检查。282024/1/14Petri网的可达性、有界性和安全性、活性以及可逆性。31324.4.5Petri网的行为特性4.4.5Petri网的行为特性在自动化制造系统中许多资源是共享的。在这样的资源共享系统中下列4个情况可能同时满足从而导致锁死：1）互斥：一个资源不可以为2个或2个以上过程同时使用一过程排斥其它过程对于该资源的占用；2）占用且等待：一过程已占用某一或某些资源同时又在请求占用其它资源；3）无抢占：已分配给某一过程的资源不能从该过程中抢走除非该过程使用此资源完毕后释放；4）循环等待：2个或更多过程排成一个链链上每个过程都在等待一个正在被链上下一个过程占用的资源。36373839404142434445464748494.4.6Petri网的行为特性分析方法4.4.6Petri网的行为特性分析方法52534.4.6Petri网的行为特性分析方法4.4.6Petri网的行为特性分析方法4.4.6Petri网的行为特性分析方法4.4.6Petri网的行为特性分析方法4.4.6Petri网的行为特性分析方法4.4.6Petri网的行为特性分析方法4.4.6Petri网的行为特性分析方法616263646566674.4.9高级Petri网4.4.9高级Petri网4.4.9高级Petri网