随机Petri网模型的精化设计

摘要：

随机Petri网的模型技术有多种不同的方法.简单地使用模型技术去模拟复杂的系统,势必造成状态空间的爆炸,而无法分析系统性能.模型精化技术可以开发出紧凑的模型,暴露出原模型中子模型的独立性和相互依存关系,为模型的分解求解奠定基础.该文以多服务器多队列系统模型的精化设计为例,展示利用变迁可实施谓词和随机开关进行模型精化的方法.文章还讨论了多服务器多任务系统的调度、选择控制方案,并提供了这些方案的随机Petri网模型.

关键词：模型精化、随机Petri网、模型设计、多服务器多队列系统、性能分析

所属期刊栏目：11

分类号：TP301(计算技术、计算机技术)

资助基金：中国科学院资助项目69873012

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：104-109