Petri网基本概念及介绍
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
Petri网基本概念及介绍
201512145
Petri网基本概念
• Petri网是一种网状模型，包括事件和条件两 个节点类型，在这样的图形中，分布着表 示状态资源或信息的托肯(Token)，按照触 发规则进行状态的演化，从而反映系统运 行的全部过程。事件一般用“变迁”表示， 条件用“库所”表示，托肯用库所内的小 黑点表示，库所和变迁之间用有向弧连接。
Petri网基本概念
Petri网基本概念
Petri网基本概念
讨论Petri网系统时，容量函数K为给定的
Petri网基本概念
Petri网基本概念
Petri网基本概念
Petri网基本概念
• 若一个 Petri 网中的每个迁移都只有一个输入位置和一个 输出位置, 则称该网是确定的或称为一个状态机. 若每个位 置恰好有一条进入弧和一条发出弧, 则称该网是一个标记 图。
这是一个状态机
Petri网基本概念
Petri网基Βιβλιοθήκη Baidu概念
T2、T3 并发并且该网为一个标记图
Petri网基本概念
Petri网的可达图是其可能状 态和使能迁移关系的图表示。
Petri网基本性能
• 可达性 如果Petri网的一个初始标识M0通过不断激 发变迁，最终得到一个新的标识Mn，那么 则认为Mn是从M0可达的； 若从M0开始只需要激发一个变迁即可达， 则称Mn是从M0立即可达的；
• 谢谢观看！！！
Petri网基本性能
• 有界性 通常，库所表示制造系统中的工件、工具、 托盘以及AGV的存放，还用于表示资源的可 利用情况，有界性是检查被Petri所描述的系 统是否存在溢出的有效尺度，防止确保不 会重复启动某一正在进行的操作。
Petri网基本性能
• 活性 • 对于一个变迁T，在任意标识m下，若存在 某一变迁序列Sr,该变迁序列的激发使得此 变迁T使能，责成该变迁是活的（Live）， 若一个Petri的所有变迁都是活的，则称该网 是活的。
Petri网基本性能
• 可达性具体应用：
①系统按照一定轨迹运行，系统能否实现一 定状态，典型问题是生产调度计划的验证；
②要求达到一定状态，如何确定系统运行轨 迹； 第一个问题可描述为：给定Sr初始标识以及 期望达到标识Mr，验证之；
给定m0和mr,寻找sr使得m0[Sr>mr.
Petri网基本性能
Petri网基本性能
• 活性 死变迁： 若存在m，不存在从m开始的变迁序列，该 序列的激发使得m使能，则该变迁是死变迁； 锁死： 若存在一个m，在此状态下，无任何变迁使 能，则称Petri包含一个锁死；
Petri网基本性能
• 活性
• 出现锁死的情况，是因为不合理的资源分 配策略或者某些或全部资源的耗尽。实际 生产系统中，许多资源被共享，比如提升 机；
• 有界性 有界性反映系统运行过程中对资源变量的 需求，它意味着，Petri网艺在其所有可能的 状态标识下，网的各位置节点中的托肯数 必为有界的。在理论分析时常可假定位置 容量为无穷，但在实际系统设计中，必须 使网络中的每个位置在任何状态下的标志 数小于位置的容量，这样才能保证系统的 正常运行，不至于产生溢出现象。
201512145
Petri网基本概念
• Petri网是一种网状模型，包括事件和条件两 个节点类型，在这样的图形中，分布着表 示状态资源或信息的托肯(Token)，按照触 发规则进行状态的演化，从而反映系统运 行的全部过程。事件一般用“变迁”表示， 条件用“库所”表示，托肯用库所内的小 黑点表示，库所和变迁之间用有向弧连接。
Petri网基本概念
Petri网基本概念
Petri网基本概念
讨论Petri网系统时，容量函数K为给定的
Petri网基本概念
Petri网基本概念
Petri网基本概念
Petri网基本概念
• 若一个 Petri 网中的每个迁移都只有一个输入位置和一个 输出位置, 则称该网是确定的或称为一个状态机. 若每个位 置恰好有一条进入弧和一条发出弧, 则称该网是一个标记 图。
这是一个状态机
Petri网基本概念
Petri网基Βιβλιοθήκη Baidu概念
T2、T3 并发并且该网为一个标记图
Petri网基本概念
Petri网的可达图是其可能状 态和使能迁移关系的图表示。
Petri网基本性能
• 可达性 如果Petri网的一个初始标识M0通过不断激 发变迁，最终得到一个新的标识Mn，那么 则认为Mn是从M0可达的； 若从M0开始只需要激发一个变迁即可达， 则称Mn是从M0立即可达的；
• 谢谢观看！！！
Petri网基本性能
• 有界性 通常，库所表示制造系统中的工件、工具、 托盘以及AGV的存放，还用于表示资源的可 利用情况，有界性是检查被Petri所描述的系 统是否存在溢出的有效尺度，防止确保不 会重复启动某一正在进行的操作。
Petri网基本性能
• 活性 • 对于一个变迁T，在任意标识m下，若存在 某一变迁序列Sr,该变迁序列的激发使得此 变迁T使能，责成该变迁是活的（Live）， 若一个Petri的所有变迁都是活的，则称该网 是活的。
Petri网基本性能
• 可达性具体应用：
①系统按照一定轨迹运行，系统能否实现一 定状态，典型问题是生产调度计划的验证；
②要求达到一定状态，如何确定系统运行轨 迹； 第一个问题可描述为：给定Sr初始标识以及 期望达到标识Mr，验证之；
给定m0和mr,寻找sr使得m0[Sr>mr.
Petri网基本性能
Petri网基本性能
• 活性 死变迁： 若存在m，不存在从m开始的变迁序列，该 序列的激发使得m使能，则该变迁是死变迁； 锁死： 若存在一个m，在此状态下，无任何变迁使 能，则称Petri包含一个锁死；
Petri网基本性能
• 活性
• 出现锁死的情况，是因为不合理的资源分 配策略或者某些或全部资源的耗尽。实际 生产系统中，许多资源被共享，比如提升 机；
• 有界性 有界性反映系统运行过程中对资源变量的 需求，它意味着，Petri网艺在其所有可能的 状态标识下，网的各位置节点中的托肯数 必为有界的。在理论分析时常可假定位置 容量为无穷，但在实际系统设计中，必须 使网络中的每个位置在任何状态下的标志 数小于位置的容量，这样才能保证系统的 正常运行，不至于产生溢出现象。