《(1)--拓展阅读 ：Petri网离散数学.doc》由会员分享，可在线阅读，更多相关《(1)--拓展阅读 ：Petri网离散数学.doc（3页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、拓展阅读 2 Petri网Petri网是一个有向二部图. 设G = (V, E)是一个有向图, 若可将V划分成两部分P和T, 使得E中边关联的两个节点一个在P中，另一个在T中, 则称G为Petri网. P6P5P3P4P2P1下图1是Petri网. t5t4t3t2t1图1为了方便应用, 将P中节点称为“位置”(Place)节点, 用圆圈“”表示, T中节点称为“转移”(transition)节点，用矩形“”或黑短线“|”表示, E中的边(有向弧)称为“流”(flow). 同时按P与T节点交替出现的顺序画出Petri网, 例如, 图1可如图2画出.P4t2P2t4t1P6P1P5t3P3t5图
2、2为了描述网络系统的动态行为, 还需要定义3个函数：(1) 令牌函数M: PN, 用于标记(Marking)P中每个位置的令牌个数.(2) 容量函数K: PZ+, 用于指明P中每个位置令牌数的最大数目.(3) 加权函数W: EZ+, 用于规定E中每条弧在令牌传递时的加权. 通过定义迁移的输入位置和输出位置，得出迁移的使能条件、迁移的引发规则就可以描述网络系统的动态行为，进而发现迁移的顺序关系、并发关系、冲突关系以及混惑关系等, 参见下列文献.1 吴哲辉, Petri网导论，机械工业出版社, 20062 古天龙, 软件开发的形式化方法, 高等教育出版社, 20053 张广泉, 形式化方法导论,
3、清华大学出版社, 20154 陆汝钤, 计算系统的形式语义（上、下）, 清华大学出版社, 20175PetriNetsWorld,http:/www.informatik.uni-hamburg.de/TGI/PetriNets/6 Desel, Jrg, Juhs, Gabriel. What Is a Petri Net? Informal Answers for the Informed Reader. In Ehrig, Hartmut et al. Unifying Petri Nets. LNCS. 2128. Springer. pp. 125. ISBN 97835404306
4、74. Retrieved 2014-05-14.Petri网是对离散并行系统的数学表示. Petri网是20世纪60年代 Carl Adam Petri于1962年在博士论文中首次提出来的，适合于描述异步的、并发的计算机系统模型. Petri网既有严格的数学表述方式，也有直观的图形表达方式，既有丰富的系统描述手段和系统行为分析技术，又为计算机科学提供坚实的概念基础.Petri网用于描述和分析系统中的控制流和信息流，尤其是那些有异步和并发活动的系统. Petri网的应用非常广泛，以下是Petri网比较常用的几种应用：(1) 软件设计(2) 工作流管理(3) 工作流模式(4) 数据分析 故障诊断(5) 并行程序设计(6)协议验证