%0 Journal Article
%T On Refinement of Model Structure for Stochastic Petri Nets<br>随机Petri网模型的精化设计
%A LIN Chuang
%A <br>林闯
%J 软件学报
%D 2000
%I 
%X 随机Petri网的模型技术有多种不同的方法.简单地使用模型技术去模拟复杂的系统,势必造成状态空间的爆炸,而无法分析系统性能.模型精化技术可以开发出紧凑的模型,暴露出原模型中子模型的独立性和相互依存关系,为模型的分解求解奠定基础.该文以多服务器多队列系统模型的精化设计为例,展示利用变迁可实施谓词和随机开关进行模型精化的方法.文章还讨论了多服务器多任务系统的调度、选择控制方案,并提供了这些方案的随机Petri网模型.
%K Refinement of model
%K stochastic Petri net
%K model design
%K multiserver multiqueue system
%K performance analysis<br>模型精化
%K 随机Petri网
%K 模型设计
%K 多服务器多队列系统
%K 性能分析.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=EAEBBB16D768709C&yid=9806D0D4EAA9BED3&vid=708DD6B15D2464E8&iid=CA4FD0336C81A37A&sid=DBF54A8E2A721A6D&eid=91C9056D8E8856E0&journal_id=1000-9825&journal_name=软件学报&referenced_num=11&reference_num=14