留言板

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

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

一种基于面向对象Petri网的并发程序建模方法

任爱华 牛锦中 张永鸣

任爱华, 牛锦中, 张永鸣等 . 一种基于面向对象Petri网的并发程序建模方法[J]. 北京航空航天大学学报, 1998, 24(4): 491-494.
引用本文: 任爱华, 牛锦中, 张永鸣等 . 一种基于面向对象Petri网的并发程序建模方法[J]. 北京航空航天大学学报, 1998, 24(4): 491-494.
Ren Aihua, Niu Jinzhong, Zhang Yongminget al. Object-Oriented Petri Net Based Method for the Concurrent Program Modeling[J]. Journal of Beijing University of Aeronautics and Astronautics, 1998, 24(4): 491-494. (in Chinese)
Citation: Ren Aihua, Niu Jinzhong, Zhang Yongminget al. Object-Oriented Petri Net Based Method for the Concurrent Program Modeling[J]. Journal of Beijing University of Aeronautics and Astronautics, 1998, 24(4): 491-494. (in Chinese)

一种基于面向对象Petri网的并发程序建模方法

基金项目: 航空科学基金(96F51075)资助项目
详细信息
  • 中图分类号: TP 311.5

Object-Oriented Petri Net Based Method for the Concurrent Program Modeling

  • 摘要: 介绍了一种基于面向对象Petri网的并发系统建模方法. 该方法把面向对象技术与Petri网理论相结合, 构成一种面向对象Petri网,可以解决用Petri网建立并发程序模型所遇到的状态爆炸问题,又使得建模系统具有可重用性且易于维护, 是一种具有数学和图形方式相结合的形式化描述.

     

  • 1. 蔡希尧,陈平.面向对象技术.西安:西安电子科技大学出版社,1995 2. Lee Y K,Park S J.OPNets:an object-oriented high-level Petri net model for real-time system modeling.J Systems Software,1993,20(1):69~86
  • 加载中
计量
  • 文章访问数:  2507
  • HTML全文浏览量:  95
  • PDF下载量:  1495
  • 被引次数: 0
出版历程
  • 收稿日期:  1998-05-12
  • 网络出版日期:  1998-04-30

目录

    /

    返回文章
    返回
    常见问答