建模与仿真(petri网部分).pptVIP

是研究任何系统动态特性的基础,决定系统能否到达一个指定的状态. (1)系统按照一定的流程运行，系统是否能够实现一定的状态；或者不期望的状态不出现。 比如：生产调度计划的验证（按照一定的生产调度计划进行生产，一定的生产任务是否能够完成） （2）要求到达一定的状态，如何确定系统的运行轨迹（流程）。 比如：生产调度，如何安排作业顺序？ 在系统中用于检测是否存在死锁。一个系统存在的一个潜在问题是死锁，为了避免死锁， 系统的Petri网模型必须具有活性。 （1）互斥：同时争夺唯一资源 （2）占用且等待 （3）无抢占 （4）循环等待 在制造业系统和过程控制系统中存在着一个重要的问题：错误复原，即系统能否重新回到原来状态(保证系统的循环特性)。 可逆——系统可自生初始化 主宿（回家）——系统经过有限步骤，将回到期望状态 在一个Petri网系统中,令牌被用来描述系统资源,对这类Petri网,守恒性是一个重要性质,要使代表资源的令牌在Petri网运行中既不会增加也不会减少,最简单的方法就是网中总令牌数保持恒定。 覆盖树（Coverability tree）——可达图 不变量（Invariation） 1、标识向量m 初始标识m0=(1 1 0 0 0)T 标识m1=(0 0 1 0 0) T m2=(0 0 0 1 1) T 分析步骤 1、m0作为