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

Vol. 17 增刊 系 统 仿 真 学 报 Oct. 2005 JOURNAL OF SYSTEM SIMULATION 1 某类有界时序Petri 网的原型网形式的转化 刘 勇 吴哲辉 山东科技大学信息学院, 山东青岛 266510 摘 要: 时序Petri 网是对原型Petri 网模型 称为时序Petri 网的基网 加上时序逻辑公式进行的扩充 本文初步讨论了时序Petri 网的语言表达能力 得出的结论是这种扩充不弱于带抑止弧的Petri 网的表 达能力 但控制型有界时序Petri 网的描述能力则同有界原型Petri 网是等同的 文中给出了把控制型 有界时序Petri 网转化为有界原型Petri 网的算法 并通过实例描述了转化过程 关键词 Petri 网 线性时序逻辑 语言描述能力 控制器