Petri．NETSimulator在Petri网模拟中的应用.pdfVIP

106 应用科学 科20技10年宰第翕3羲期 Petri．NETSimulator在Petri网模拟中的应用 谭观音 ，王 伟 (华侨大学工商管理学院，福建泉州 362021) 摘 要 Petri~J模型建立后需要对该模型进行模拟，以发现模型的缺陷和资源的使用是否合理。本文介绍TPetri．NETSimulator；~EPetri~J模 拟中的应用，阐述了该软件的基本使用方法和关键点，并用实例加以说明。 关键词 Petri．NETSimulator；Petri网；模拟 中圈分类号 TP393 文献标识码 A 文章编号 1673—9671一(2010)021—0106—02 Petri网是分布式系统的建模和分析工具。它由德国科学家CarlA．Petri 2Petri网模拟中的几点关键技术 博士于1962年首先创建的。初期Petri网仅应用于计算机、通信领域，现 2．1适当使用面向对象技术 在已广泛应用到自动化、交通、电力电子、机械设计与制造与服务等 Petri网中数据流与控制流相结合，恰似面向对象中数据和操作结 领域。早期的petri网建模、求解是由专家手工演算完成 ，时间长、效 合；而Petfi网的托肯运行驱动机制与面向对象的消息机制十分相似，都 率低。随着IT技术的发展 ，Petri网可视化图形建模成为可能。petri．net 是基于事件的驱动方式；Petri网中位置结点与对象的状态、条件对应， simIllat0蹴 是一款p 网可视化建模软件，由BIGENERIc公司研制，成为 而变迁结点与对象的动作相对应。这些都体现了面向对象技术在模拟器 少数几款基于Windows~-台的Petri网模拟软件。 中的应用。 1Petri．NETSimulator功能 2．2弧上谓词的依赖关系问题 1．1Petri网编辑功能 连着同一转移的多个输入弧上的谓词可能存在着相互依赖关系，如 Petri．NETSimulator有一个可视化的友好编辑界面。它支持离散事件 某弧上的谓词是以其它弧上谓词取出的一个或多个托肯作为参数的函 的静态和动态变化，分别用Timelnvafiant和 imed表示。模拟器中的库 数。处理的方法之一是在分离规格中说明两类语义的同时将同一转移 所可分为Input、Operation、Resource、ControlandOutput等五种类型， 上各个弧的相互关系找出来 ，并用标识号表示该弧在依赖关系中的序 分别表示输入、操作 、资源、控制和输出等库所。工具栏列出了所有 号。仿真时，判断变迁是否可以发生时，根据这个标识号由小到大计算 工具，包括各种库所、变迁、子系统和标签等，它们可直接通过拖曳 谓词，这样保证在计算某一谓词时，它所依赖的谓词已先计算，在Petri 添加到主界面中。但弧的绘制方法不同：按住鼠标右键不放移动到相 ．NETSim~ator中使用规则集来控制。 应的库所或者变迁，直到连线变成黄色，松开鼠标就形成了库所与变 2．3托肯的传递机制设计 迁之间的弧；若对象之间已经存在连接弧，而又添加相同方向的连接 从库所中取出的多个具有不同类型的托肯作为参数参与转移中谓词 弧时，连接弧将会变为红色，一旦放开鼠标右键，就可以删除已经存 函数和动作函数的运算 ，在变迁中设置一个队列结构的参数表，用来存 在 的弧。 取作为函数参数的标记指针。在测试变迁是否可以启动后，参数表已得 Petri网中的对象都可以设置 自己的