Petri网(2)

被允许的形式化 变迁发生的形式化 Petri网到变迁系统的映射 可达性图

Petri 是一个三元组（P,T,F） F(P X T)U(T X P)是弧的集合

[编辑] 流程建模

一个流程的状态是由在场所中的令牌建模的，状态的变迁是由变迁建模的。令牌表示事物（人，货物，机器），信息，条件，或对象的状态； 库所代表库所，通道或地理位置；变迁代表事件，转化或运输 一个流程（Flow）有当前状态，可达状态，不可达状态。

[编辑] 经典Petri网的局限性

? ? ? ?

没有测试库所中零 模型容易变得很庞大 模型不能反映时间方面的内容

不支持构造大规模模型，如自顶向下或自底向上

[编辑] 高级Petri网

为了解决经典Petri网中的问题，研究出了高级Petri网，在以下方面进行了扩展：

? ?

令牌着色 -- 令牌具有属性 时间-- 变迁有延迟时间

?

层次化 -- 一个变迁可以是一个子Petri网

[编辑] 令牌着色

一个令牌通常代表具有各种属性的对象，因此令牌拥有值（颜色）代表由令牌建模的对象的具体特征，如一个令牌代表一个工人（张三，28岁，经验3级）。

[编辑] 时间

为了进行分析，我们需要建模期间，延迟等，因此每一个令牌拥有一个时间戳，变迁决定生产出的令牌的延迟。

[编辑] 层次化

构造一个复杂性与数据流图相当的Petri网的机制。 子网是由库所，变迁和子网构成的网络。

[编辑] 时序

增加时序逻辑的定义，更好的描述行为过程。

百度搜索“77cn”或“免费范文网”即可找到本站免费阅读全部范文。收藏本站方便下次阅读，免费范文网，提供经典小说综合文库Petri网(2)在线全文阅读。