计算机网络与通信研究室.pdfVIP

Petri 网 罗 军 舟 计算机网络与通信研究室 东南大学计算机科学与工程系 何谓Petri网 •Petri网是一种适合于系统描述和分析的 数学模型 •具有二类性质不同的节点：状态节点、 变迁节点 •精确的数学定义 起源与发展 • 由德国人Carl Adam Petri先生于62年在他 的博士论文 “Communication with Automata ”中首次提出 “网状结构的信 息流模型”； 起源与发展 •众人大大发展了Petri网理论；特别地， A.W.Holt分别于68年和70年 在 “Final Report of the Information System Theory Project ” 和 “Events and Condition”中 模拟和分析了具有并行分支的系统， 称为Petri Nets ； 起源与发展 •特殊网论 （前10年） EN, P/T, Pr/T, CPN, 关系网，等等 - 单个网系统的研究； - 具体网的分析技术 （可达树、不变 量）； - 研究目标为具体网系统的动态行为； -节点爆炸，①高级网系统；②分层和化 简。 起源与发展 •通用网论 （后10年） -网论根本解决的问题，即计算科学中的 基本现象 （3C ）：①并发 （Concurrency）②冲突 （Conflict ）③冲 撞 （Contact ） - 以寻求网系统的共同基础为目标，研究 各类网系统的关系：①并发，②同步， ③网拓扑，④网逻辑 起源与发展 •80年代中期以后 -时间网 （Timed Nets ） -随机网 （Stochastic Nets） • 目前处于综合发展阶段，理论与应用相 辅相成。 模型特点 •模拟性：从组织结构的角度，模拟系统的控 制和管理，不涉及系统实现所依赖的物理和 化学原理； •客观性：精确描述事件 （变迁）间的依赖 （顺序）关系和不依赖 （并发）关系。这种 关系客观存在，与观察无关； •流特征：适合描述以有规则的流动为行为特 征的系统，包括能量流、物质流和信息流； 模型特点 •描述性：用统一的语言 （网）描述系统结 构和系统行为； •分析性：网系统具有与应用环境无关的动 态行为，是可以独立研究的对象。这样， 可按特定方式进行系统性质的分析和验 证； •基础性：网系统在各个应用领域得到不同 的解释，是沟通不同领域的桥梁。网论是 这些领域的共同理论基础； 模型特点 •异步并发性：适合描述异步并发系统。 如： -不同子系统事件间的并发； -局部和全局目标间的冲突； -资源限制； -不同类型信息流的统一描述； -不同机器和不同用户间不同类型的接口。 课程目的 • 以应用为目标，掌握网论的基本知识， 和在实际系统中应用的一般方法； • 网论的主要目标是分布式信息系统，为 信息学提供新的理论基础和应用技术。 教材简介 •通俗易懂，内容丰富，面向应用，偏重理论 • 四部分 1.入门 （六个例子，引进基本概念，定义网系统， 分类，网系统的性质） 2.各种网系统 （基本网系统，库所/变迁网，谓词 变迁网，有色网系统，自控网） 3.通用网论 （并发论，同步论，网拓扑，网逻辑） 4.应用方法 （选题，系统设计，系统分析） 教材简介 •作者袁崇义：