随机Petri网模型的精化设计

• 作者: 林闯
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 模型精化 随机Petri网 模型设计 多服务器多队列系统 性能分析
• 年，卷（期）: 2000,（1）
• 页码范围: 104-109
• 页数: 6页
• 分类号: TP301
• 字数: 4426字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林闯		12	575	9.0	12.0