| 引用网建模工具Renew的性能评估扩展 |
| |
| 引用本文： | 黄冬泉 张敏 黄河 徐振亚. 引用网建模工具Renew的性能评估扩展[J]. 系统仿真学报, 2007, 19(A01): 179-182 |
| |
| 作者姓名： | 黄冬泉 张敏 黄河 徐振亚 |
| |
| 作者单位： | [1]徐州空军学院基础部,江苏徐州221000 [2]北京航空航天大学软件学院,北京100083 [3]北京航空航天大学计算机学院,北京100083 |
| |
| 基金项目： | 国家自然科学基金项目（60273014） |
| |
| 摘 要： | 利用引用网建模工具Renew的赋时属性和库所事件响应机制对其进行了性能评估扩展。引入赋时托肯的可观察性和监视点概念,增加了与性能评估相关的语义和管理功能,包括策略化触发选择,基于XML的任务管理,统计变量和性能报告以及模拟器用户接口等。对Renew系统性能建模的设计模式进行了讨论,应用扩展后的Renew对多线程服务器进行了性能评估实例研究。
|
| 关 键 词： | Petri网 引用网 建模与仿真 性能评估 |
| 文章编号： | 1004-731X（2007）S1-0179-04 |
| 收稿时间： | 2007-05-10 |
| 修稿时间： | 2007-07-12 |
An Extension of Performance Evaluation for Renew |
| |
| HUANG Dong-quan, ZHANG Min, HUANG He, XU Zhen-ya. An Extension of Performance Evaluation for Renew[J]. Journal of System Simulation, 2007, 19(A01): 179-182 |
| |
| Authors: | HUANG Dong-quan ZHANG Min HUANG He XU Zhen-ya |
| |
| Abstract: | An extension of performance evaluation for Renew, the Reference nets Workshop, is made by taking advantage of the timed property of Renew and the event response mechanism of Reference nets places. Concepts of the observable property and the monitor point of timed tokens are presented. Semantics and functionalities related to management of performance evaluation are supplied, including politic firing choosing, XML based tasks management, statistical variables, performance reports, simulator GUIs. The design pattern of system performance modeling in Renew is discussed. A case study of performance evaluation on a multi-threading server is made in the extended Renew system. |
| |
| Keywords: | Petri nets Reference nets modeling and simulation performance evaluation |
| 本文献已被 维普 等数据库收录！ |
|
