%0 Journal Article
%T 随机petri网模型的精化设计
%A 林闯？
%J 软件学报
%P 104-109
%D 2000
%X 随机petri网的模型技术有多种不同的方法.简单地使用模型技术去模拟复杂的系统,势必造成状态空间的爆炸,而无法分析系统性能.模型精化技术可以开发出紧凑的模型,暴露出原模型中子模型的独立性和相互依存关系,为模型的分解求解奠定基础.该文以多服务器多队列系统模型的精化设计为例,展示利用变迁可实施谓词和随机开关进行模型精化的方法.文章还讨论了多服务器多任务系统的调度、选择控制方案,并提供了这些方案的随机petri网模型.
%K 模型精化
%K 随机petri网
%K 模型设计
%K 多服务器多队列系统
%K 性能分析.
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20000114&flag=1