petri网的分层.pdfVIP

第11届全国 Petri 网年会大会报告纲要 Petri 网的分层 郝克刚 2007.8. 西北大学 计算机科学系 软件工程研究所 hkg@ /hkg/home/ 前言 ? Petri 网是一个很好的描述与分析并行系统的模型，但是在实际应用中，如果系 统过大或较复杂时，会遇到节点数爆炸的问题。 ? 解决此问题的最好办法就是分层（Hierarchy）。 ? 分层不仅是客观本体论的需要，也有重要的方法论意义。 本体论、方法论 ? 客观世界本身是具有层次的。 ? 粒子，原子，分子，…… ? 地球，行星，太阳系，银河系，…… ? 细胞，器官，生物，…… ? 通过分层来认识世界和掌握世界 ? 分类查询 ? 梯子登楼 ? 分叠数钱 在 Petri 网中引入层次的四种方法 ? 节点精化（Place Refinement，Transition Refinement） ? 着色网（Colored Petri Nets） ? 对象网（Object Petri Nets） ? 开放网（Open Petri Nets） ? 所有分层方法，本质上讲，是以不同的方式对节点（Place，Transition）集合进 行的划分。 ? 从节点划分的角度上看，开放网具有最广泛的意义，前三种都是它的特例。 1, 节点精化(Place Refinement,Transition Refinement) ? 这是最早在 Petri 网中引入层次的方法。 ? Fehling, Rainer ，A Concept of Hierarchical Petri Nets with Building Blocks. the 12th International Conference on Application and Theory of Petri Nets, 1991 ? 节点精化的基本思路是将一个Petri 网（上层网）中的某个节点用另一个Petri 网 （下层网）进行精化（即替换），从而形成分层的Petri 网。 郝克刚：Petri 网的分层 第 1 页 共 8 页 第11届全国 Petri 网年会大会报告纲要 ? 如果这个节点是位子，就叫做位子精化（Place Refinement） 。节点是转移，就叫 做转移精化（ Transition Refinement） 。 节点精化存在的问题 节点精化的方法看似很好， 但是存在诸多问题。 ? 对子网的限制：首先，节点精化子网要求必须有一个入口一个出口。对于位子精 化，入口、出口要求是位子，即所谓 P-P网或P型网。对于转移精化要求子网必 须是 T-T网或T型网。 ? Aalst 定义的工作流网刚好满足这个条件。 Aalst 定义的工作流网 ? A Petri net N is a Workow net (WF-net) iff: ? N has two special places (or transitions):an initial place (transition) i : * i= ∧ and a final place (transition) f : f *=∧. ? For any node n∈(P∪T) there exists a path from i to n and a path from n to f . ? 虽然叫做工作流网，但是在实际上，它的限制很大，很多能用Petri net表达的工 作流内容，它表达不了。例如反映流水线的多流机制等，它就无法表达。 节点精化存在的问题（续） ? 另外，位子精化还应当要求下层网的功能与petei网中的位子的功能相匹配。例如， petei网中的位子所含的托肯在没有前面转移激发