期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

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

Transforming of Certain Temporal Petri Nets to Classic Petri Nets
下载PDF
导出
摘要 时序Petri网是对原型Petri网模型(称为时序Petri网的基网)加上时序逻辑公式进行的扩充.本文初步讨论了时序Petri网的语言表达能力,得出的结论是这种扩充不弱于带抑止弧的Petri网的表达能力,但控制型有界时序Petri网的描述能力则同有界原型Petri网是等同的.文中给出了把控制型有界时序Petri网转化为有界原型Petri网的算法,并通过实例描述了转化过程.
作者 刘勇 吴哲辉
机构地区 山东科技大学信息学院
出处 《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期1-4,共4页 Journal of System Simulation
基金 国家自然科学基金资助课题(60173053)
关键词 PETRI网 线性时序逻辑 语言描述能力 控制器
分类号 TP302.7 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献15

  • 1[1]吴哲辉. petri网导论[M]. 北京: 机械工业出版社, 2005.
  • 2袁崇义.Petri网原理[M].北京:电子工业出版社,2000..
  • 3[3]Peterson J L. Petri网理论与系统模拟[M]. 吴哲辉译. 徐州: 中国矿业大学出版社, 1989.
  • 4[4]Suzuki I. Temporal Petri Nets and Their Application to Modeling and Analysis of a Handshake Daisy Chain Arbiter [J]. IEEE Transactions on Computers, 1989, 38(5): 696-704.
  • 5[5]Suzuki I. Fundamental Properties and Application of Temporal Petri Nets [C]. 1985, Proc. 9th Conference Information Science and Systems, John Hopkins University, Baltimore, MD: 641-646.
  • 6[6]Suzuki I. Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets [J]. IEEE Transactions on Software engineering, 1990, 16(11): 1273-1281.
  • 7宁华,蒋树强,吴哲辉.Petri网中的广义公平关系[J].计算机学报,2000,23(10):1102-1106. 被引量：6
  • 8丁志军,蒋昌俊.并发程序验证的时序Petri网方法[J].计算机学报,2002,25(5):467-475. 被引量：13
  • 9[9]Jordi Cortadella. Deriving Petri Nets from finite transition systems [J]. IEEE Trans On Computers, 1998, 47(8): 859-882.
  • 10[10]A Pnueli. The Temporal Logic of programs [C]. Proc. 18th IEEE Symp. On Found Of Computer Science. 1977, 46-57.

二级参考文献22

  • 1王培良,吴哲辉.公平网的一组直接判断条件[J].计算机学报,1993,16(1):53-58. 被引量：21
  • 2王培良,吴哲辉.Petri网弱公平性的判断[J].计算机学报,1994,17(8):608-611. 被引量：14
  • 3蒋昌俊.功能确定的离散并发系统的Petri网规范设计方法[J].计算机学报,1995,18(7):532-538. 被引量：7
  • 4[1]A. Pnueli. The Temporal Semantics of Concurent Programs [J].Theoretical Computer Science, 1981, 13: 45-60.
  • 5[2]E.M. Clarke, et al. Automatic Verification of Finite State Concurrent System Using Temporal Logical Specification [J]. ACM transaction on Programming Language and Systems, 1986, 8(2): 244-263.
  • 6[3]Leslie Lamport. The Temporal Logic of Actions [J]. ACM transaction on Programming Language and Systems, 1994, 16(3): 872-923.
  • 7[4]E.M. Clarke, O. Grumberg, D. Peled. Model Checking. Cambridge[M], MA: MIT Press, 2001, 35-49.
  • 8[5]R. Gerth, D. Peled, M.Vardi, and P. Wolper. Simple On-the-fly Automatic Verification of Linear Temporal Logic [C]. In Proceedings of the 15th International Conference on Protocol Specification,Testing and Verification, Warsaw, Poland, 1993.
  • 9[6]Z. Manna, A. Pnueli. The Temporal Logic of Reactive and Concurrent System: Specification [M]. Spring-Verlag, 1992.
  • 10[7]A. Prasad Sistla, M. Y. Vardi and P. Wolper. The Complementation Problem for Btchi Automata with Applications to Temporal Logic [J].Theoretical Computer Science, 1987, 49: 217-237.

共引文献34

系统仿真学报
2005年 第z1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部