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

2024/11/222024/11/222024/11/222024/11/222024/11/226789
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网
2024/11/222024/11/222024/11/222024/11/222024/11/222024/11/222024/11/222024/11/222024/11/222024/11/222024/11/222024/11/222024/11/222024/11/222024/11/224.4.3Petri网的运行规则例：根据Petri网的运行规则，按照t1t2t3t4的顺序，依次
对图1中变迁发生进行检查。
282024/11/22Petri网的可达性、有界性和安全性、活性以及可逆性。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网的行为特性分析方法这对于自动从差错中恢复是极为重要的。
以后，Petri网开始应用于制造系统的仿真、调度和控制建模
若K是树中所有位置中的最大托肯数，则该Petri网是K-有界的。
性及可重用性等系统逻辑特性以及产量、设备利用率等性能
①P∩T=ф，规定了库所和变迁是两类不同的元素；
对于M下可实施的变迁t，做以下事情：
2Petri的基本概念
（2）状态方程分析法—状态方程在可达性分析中的应用
以变迁激发导致令牌在库所间的流动，Petri网可以用于模拟系
C+(p2,t1)=0,
（2）不能表示事件间的时间关系。
2Petri的基本概念
若只要从开始实施一个变迁即可产生，则称是从M0立即可达的。
可达树描述了从M0出发的所有可能启动序列的集合，它将
C+(p1,t2)=0,4.4.6Petri网的行为特性分析方法4.4.6Petri网的行为特性分析方法4.4.6Petri网的行为特性分析方法4.4.6Petri网的行为特性分析方法第二个变迁t2再将s4和部件s5用三个螺丝钉s3固定在一起，变成半成品s6.
K—容量函数——库所容量，标注在库所旁边。
dom（F）∪cod（F）=P∪T则规定了网中不能有孤立元素。
若只要从开始实施一个变迁即可产生，则称是从M0立即可达的。
2Petri的基本概念
并发系统的Petri网
权函数W规定每个变迁发生一次引起的相关资源数量的变化。
（3）定义3：变迁发生条件—运行规则
C+(p1,t0)=0,
1962年，德国人CarlAdamPetri首次使用网状模型模拟通信
并发系统的Petri网
若只要从开始实施一个变迁即可产生，则称是从M0立即可达的。
其中，P={p1，p2，…，pm}为库所（place）的集合；
定义7:对于一变迁t∈T，在任一标识下，若存在一个变迁序列，该变迁序列的实施使得此变迁t可实施，则称该变迁是活的。
如果一个Petri网有无限多个可达标识，为了用有限个图来表示它，引入符号ω来表示无限，对每个正整数n(ω>n)。
6Petri网的行为特性分析方法6263646566674.4.9高级Petri网4.4.9高级Petri网4.4.9高级Petri网演讲完毕，谢谢观看！