Petri网有关知识

出位置集产生（produces）一个令牌。
Petri网的发展--特点介绍
• 有色Petri网（coloured Petri net, CPN） 1. 令牌是可辩别的，每个令牌都有一个数据值，数据值属于某一给定的数据类型。 2. 使用有色Petri网，对构建的系统的描述与分析更加简洁且可修正性更强（more compact and amenable）。 3. 有色Petri网可能包括数据处理并创立系统的层次化表示。
Petri网理论简介
Petri网的特点
• Petri网是一个有向图，包括三个结构性成分，位置（places）、转变（transitions）和弧线（arcs）. • 位置，用圆形框表示，代表系统可能的状态或者条件。 • 转变，用条形框或方框表示，描述可能改变系统状态的事件。 • 位置与转变之间的关系用一系列的弧线表示，弧线是位置与转变之间唯一的连接，方向为一方至另一方。 • 同一类型的两个节点之间没有连接。 • 一个系统的动态变化可以用令牌（tokens）表示，令牌以图形的形式出现在位置处，用黑色圆点表示。
经典Petri网
• Petri网是一个4元组
N P,T, F, M0
• P是有限个位置的集合。 • T是有限个转变的集合。（位置与转变之间的交集为空集） • F是表示流关系的有向弧线集，弧线将位置与转变结合在一起。 • M0是初始标记（initialwenku.baidu.commarking）。 • 一个标记表示模型系统的一种状态，是位置集合的一种令牌分布。 • 一种状态转化到另一种状态的过程用转变触发（firing of transitions）描述。 • 当一个转变触发时，消耗（consumes）掉相应的每一个输入位置集的一个令牌，同时，在相应的每一个输
是依赖于模型的初始状态的特性。 意味着，对于不同的初始状态，可能会得到不同的结果。 • 结构特性 与所构建的系统的结构有关的特性。 结构特性与初始状态无关。
谢谢！
• 定时Petri网（timed Petri nets）及其子类 1. 将时间这一概念应用于Petri网。 2. 时间可能与转变、位置、令牌或者弧线相关。 3. 定时Petri网主要用于分析系统的时间性行为。
Petri网的应用
• 基于Petri网对一个系统建模可以对系统的两类特性开展研究。 • 行为或状态依赖特性