某类有界时序Petri网的原型网形式的转化  

Transforming of Certain Temporal Petri Nets to Classic Petri Nets

作　　者：刘勇[1] 吴哲辉[1] 

机构地区：[1]山东科技大学信息学院,山东青岛,266510 山东科技大学信息学院,山东青岛,266510

出　　处：《系统仿真学报》2005年第z1期1-4,共4页Journal of System Simulation

基　　金：国家自然科学基金资助课题(60173053)

摘　　要：时序Petri网是对原型Petri网模型(称为时序Petri网的基网)加上时序逻辑公式进行的扩充.本文初步讨论了时序Petri网的语言表达能力,得出的结论是这种扩充不弱于带抑止弧的Petri网的表达能力,但控制型有界时序Petri网的描述能力则同有界原型Petri网是等同的.文中给出了把控制型有界时序Petri网转化为有界原型Petri网的算法,并通过实例描述了转化过程.

关 键 词：PETRI网 线性时序逻辑 语言描述能力 控制器 

分 类 号：TP302.7[自动化与计算机技术—计算机系统结构]