留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

对象Petri网模型的并发软件仿真技术的研究

唐发根 姚淑珍 邓焰群

唐发根, 姚淑珍, 邓焰群等 . 对象Petri网模型的并发软件仿真技术的研究[J]. 北京航空航天大学学报, 1998, 24(4): 487-490.
引用本文: 唐发根, 姚淑珍, 邓焰群等 . 对象Petri网模型的并发软件仿真技术的研究[J]. 北京航空航天大学学报, 1998, 24(4): 487-490.
Tang Fagen, Yao Shuzhen, Deng Yanqunet al. Research of Simulation Technique for Concurrent Software on OPN[J]. Journal of Beijing University of Aeronautics and Astronautics, 1998, 24(4): 487-490. (in Chinese)
Citation: Tang Fagen, Yao Shuzhen, Deng Yanqunet al. Research of Simulation Technique for Concurrent Software on OPN[J]. Journal of Beijing University of Aeronautics and Astronautics, 1998, 24(4): 487-490. (in Chinese)

对象Petri网模型的并发软件仿真技术的研究

基金项目: 国防科技预研基金资助项目
详细信息
  • 中图分类号: TP 311.5

Research of Simulation Technique for Concurrent Software on OPN

  • 摘要: 并发软件的性能评价是提高软件开发质量的重要手段之一.本文重点讨论了将面向对象与Petri网相结合的思想用于并发软件开发中的系统建模,以及基于对象Petri网(OPN)的并发软件系统的仿真技术,同时,也探讨了实现一个基于OPN的动态仿真工具所面临的关键技术和解决方法.实践结果表明,文中讨论的实现机制与处理方法是有效和可行的.

     

  • 1. 姚淑珍,金茂忠.基于Petri网的CASE全集成机制的研究.北京航空航天大学学报,1997,23(1):51~55 2. Englist S L.Coloured Petri nets for object-oriented modeling:[dissertation]. Brighton:Univ of Brighton,1993 3. Kyu K Y,Joo P S.OPNets:an object-oriented high-level Petri nets model for real-time system modeling.Journal of System Software,1993,20(1):69~86
  • 加载中
计量
  • 文章访问数:  2518
  • HTML全文浏览量:  48
  • PDF下载量:  1078
  • 被引次数: 0
出版历程
  • 收稿日期:  1998-04-17
  • 网络出版日期:  1998-04-30

目录

    /

    返回文章
    返回
    常见问答