Object-Oriented Petri Net Based Method for the Concurrent Program Modeling
-
摘要: 介绍了一种基于面向对象Petri网的并发系统建模方法. 该方法把面向对象技术与Petri网理论相结合, 构成一种面向对象Petri网,可以解决用Petri网建立并发程序模型所遇到的状态爆炸问题,又使得建模系统具有可重用性且易于维护, 是一种具有数学和图形方式相结合的形式化描述.Abstract: An approach for concurrent system modeling based on the object-oriented high-level Petri net is described. The O-O Petri net is constructed by combining object-oriented techniques with Petri net theory. The modeling of the O-O Petri net not only can reduce the complexity of the model, but also make the modeled system with reusability and easy maintainability. This approach makes O-O system modeling with the description for both formalization and graphics.As an illustration,the producer and consumer concurrent pattern is modeled using object-oriented Petri nets.The modeling experience with these nets demonstrates that the decoupling and separation of knowledge and constraints clearly enhance maintenance and reusability in concurrent system modeling.
-
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 期刊类型引用(7)
1. 张晨. 基于数值延拓的日月综合借力DRO入轨策略. 北京航空航天大学学报. 2024(04): 1176-1186 . 
本站查看2. 黄逸丹，黄勇，樊敏，李培佳. 基于地基测量数据的月球DRO轨道定轨精度分析. 深空探测学报(中英文). 2024(04): 405-413 . 
百度学术3. 王波，薛璐瑶，彭玉明，段晓闻，张嵬，谢攀，陆希. 日地DRO近地小行星资源勘探普查任务轨道设计与监测效能分析. 上海航天(中英文). 2024(S1): 253-260 . 百度学术4. 刘佳，宋叶志，黄乘利，胡小工，谭龙玉. 地月DRO星载光学测量近地小行星轨道确定. 天文学报. 2023(06): 83-100 . 百度学术5. 陈天冀，周晚萌，和星吉，彭祺擘，徐明，吕纪远. 考虑环月交会约束的地月转移轨道设计. 宇航学报. 2023(12): 1830-1838 . 百度学术6. 陈冠华，杨驰航，张晨，张皓. 地月空间的远距离逆行轨道族及其分岔研究. 北京航空航天大学学报. 2022(12): 2576-2588 . 本站查看7. 刘文芳，胡诗杨，刘福窑. 圆型限制性三体问题的动力学特征. 上海工程技术大学学报. 2021(03): 272-280 . 百度学术其他类型引用(3)
-
百度学术
点击查看大图
计量
- 文章访问数: 2620
- HTML全文浏览量: 114
- PDF下载量: 1499
- 被引次数: 10
下载:
