首页> 美国政府科技报告 >Analytic Performance Modeling of Concurrent Computer Systems by Stochastic Petri Nets

【24h】

Analytic Performance Modeling of Concurrent Computer Systems by Stochastic Petri Nets

机译：基于随机petri网的并行计算机系统的分析性能建模

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

Petri nets are presented as a technique for representing computer systems having asynchronous, concurrent operations. The structure of the nets are analyzed as a means of demonstrating the correctness of the modeled system. The execution of the petri net is considered as a stochastic process, allowing analysis of the model as a queueing network system by transforming the petri net into its stochastic equivalent net. It is shown that product form solutions for the state probabilities exist for the class of state machine decomposable nets but not for the more general class of consistent petri nets. Solutions for the corresponding open systems are derived by extending the petri net model to include arbitrary sources and sinks. (Author)

著录项

作者
Smart, S. W.;
展开▼
作者单位

展开▼
年度 1981
页码 p.1-100
总页数 100
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Computer communications; Communications networks; Mathematical models; Stochastic processes; Queueing theory; Decomposition; Performance(Engineering); Asynchronous systems; Executive routines; Integrated systems; Specifications; Performance tests; Theses;

机译：计算机通信;通信网络;数学模型;随机过程;排队论;分解;性能（工程）;异步系统;执行程序;集成系统;规范;性能测试;论文;

相似文献

外文文献
中文文献
专利

1. Modeling and Performance Evaluation of Inventory Systems Using Batch Deterministic and Stochastic Petri Nets [J] . Labadi K., Chen H., Amodeo L. IEEE transactions on systems, man and cybernetics. Part C, Applications and reviews . 2007,第6期

机译：基于批次确定性和随机Petri网的库存系统建模与性能评估。
2. Modelling, performance evaluation and planning of public transport systems using generalized stochastic Petri nets [J] . R. Bouyekhf, A. Abbas-Turki, O. Grunder, Transport Reviews . 2003,第1期

机译：使用广义随机Petri网对公共交通系统进行建模，性能评估和规划
3. Generalized stochastic Petri nets based models for performance analysis of communication networks of IEC61850 system [J] . CHANG Hong, RU Feng, XUE Jun-yi 重庆大学学报（英文版） . 2006,第004期

机译：基于广义Petri网的IEC61850系统通信网络性能分析模型
4. Modeling computer systems evolutions: non-stationary processes and stochastic Petri nets-application to dependability growth [C] . Laprie, J.-C., Kaaniche, Petri Nets and Performance Models, 1995., Proceedings of the Sixth International Workshop on . 1995

机译：建模计算机系统的演变：非平稳过程和随机Petri网-对可靠性增长的应用
5. MODELING AND ANALYSIS OF CONCURRENT SYSTEMS USING CONTOUR/TRANSITION-NETS (PETRI NETS, SPECIFICATION, VERIFICATION) [D] . ROSE, MARSHALL TOUFIC. 1984

机译：使用轮廓/过渡网（PETRI网，规范，验证）对并发系统进行建模和分析
6. Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets [O] . Peter J. E. Goss, Jean Peccoud 1998

机译：利用随机Petri网对分子生物学中的随机系统进行定量建模
7. Analytic performance modeling of concurrent computer systems by stochastic petri nets. [O] . Smart Scott W. 1981

机译：随机Petri网对并发计算机系统的分析性能建模。

Analytic Performance Modeling of Concurrent Computer Systems by Stochastic Petri Nets

摘要

著录项

相似文献

相关主题

期刊订阅