某类有界时序Petri网的原型网形式的转化研究.pdfVIP

Vol. 17 增刊 系 统 仿 真 学 报 Oct. 2005 JOURNAL OF SYSTEM SIMULATION 1 某类有界时序Petri 网的原型网形式的转化 刘 勇 吴哲辉 山东科技大学信息学院, 山东青岛 266510 摘 要: 时序Petri 网是对原型Petri 网模型 称为时序Petri 网的基网 加上时序逻辑公式进行的扩充 本文初步讨论了时序Petri 网的语言表达能力 得出的结论是这种扩充不弱于带抑止弧的Petri 网的表 达能力 但控制型有界时序Petri 网的描述能力则同有界原型Petri 网是等同的 文中给出了把控制型 有界时序Petri 网转化为有界原型Petri 网的算法 并通过实例描述了转化过程 关键词 Petri 网 线性时序逻辑 语言描述能力 控制器 文章编号 1004-731X (2005) S-1-04 中图分类号 TP302.7 文献标识码 A Transforming of Certain Temporal Petri Nets to Classic Petri Nets LIU Yong, WU Zhe-hui (School of Information, Shandong University of Science and Technology, Qingdao Shandong 266510, China) Abstract: Temporal Petri Nets (TPNs) are Petri nets in which certain restrictions on the firings of transitions are represented by formulas containing temporal operators. The conclusion that the expressive power of TPNs is not weaker than extended Petri nets is given first in this paper, which also represents an algorithm to transform certain TPNs to classic PNs based on the discussion of affection temporal logic formulas inflicting on the ground PNs. Key words petri nets; linear temporal logic; expressive power; controller 引 言1 额外的说明 此外 还可以充分利用Petri 网易于变化为控制 结构的特点将之轻松实现为物理系统 而后者的缺点在于 时序Petri网(Temporal Petri Nets)[5]是在Petri 网的基础上 Petri网的构造需要设计者了解网模型的每一步变化 各种特 提出的一种建模工具 它充分结合了Petri 网能直观有效地刻 性与网系统结构之间的关系 并给出控制规则 才能达到智 画物理系统和时序逻辑适于显式地描述系统的需求规范和 能控制的目的 显然 这样的构造对于实际大系统而言是极 约束条件的优点 简单地说 其做法是用PNs 建立系统的