A Simulation Engine for Stochastic Timed Petri Nets and Application to Emergency Healthcare Systems

来源 :自动化学报(英文版) | 被引量 : 0次 | 上传用户:xqd2cd
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
In many service delivery systems, the quantity of available resources is often a decisive factor of service quality. Re-sources can be personnel, offices, devices, supplies, and so on, de-pending on the nature of the services a system provides. Al-though service computing has been an active research topic for decades, general approaches that assess the impact of resource provisioning on service quality matrices in a rigorous way re-main to be seen. Petri nets have been a popular formalism for modeling systems exhibiting behaviors of competition and con-currency for almost a half century. Stochastic timed Petri nets (STPN), an extension to regular Petri nets, are a powerful tool for system performance evaluation. However, we did not find any single existing STPN software tool that supports all timed trans-ition firing policies and server types, not to mention resource pro-visioning and requirement analysis. This paper presents a generic and resource oriented STPN simulation engine that provides all critical features necessary for the analysis of service delivery sys-tem quality vs. resource provisioning. The power of the simula-tion system is illustrated by an application to emergency health care systems.
其他文献
Advances on bidirectional intelligence are overviewed along three threads, with extensions and new perspectives. The first thread is about bidirectional leing a
随着我国高新技术产业的快速发展,国内的产业结构发生了重大调整。对高新技术人才的需求量逐年递增。这为高等职业技术院校带来了发展的重要契机。在国家的大力支持下,我国的
中原经济区是以中原城市群为依托、主体功能规划明确、范围覆盖河南省全境以及周边地区的经济区域。该区拥有深厚的文化底蕴且地理位置优越,经济总量较大,市场发展前景好。20
A combined algorithm for the loosely fused ultra wide band (UWB) and inertial navigation system (INS)-based meas-urements is designed under the indoor human nav
作者报告接受化疗的ALL年青男性病人的妻子两次妊娠的结果。病史:18岁男性病人于1973年3月诊断为ALL。以长春新碱(2毫克/周)、强的松(75毫克/日)治疗4周,继之10天一疗程的左
In this work, we combined the model based rein-forcement leing (MBRL) and model free reinforcement le-ing (MFRL) to stabilize a biped robot (NAO robot) on a rot
We study the fabric spreading and cutting problem in apparel factories. For the sake of saving the material costs, the cutting requirement should be met exactly
总结西吉县红耀乡马铃薯高产栽培技术,分析其经济效益,并对马铃薯高产突破点进行介绍,以期为宁夏南部山区马铃薯高产栽培提供参考。 Summarize the high yielding cultivati
正确判断急性心肌梗塞(下简称AMI)的重症度,在临床实际工作中极为重要。AMI的重症度与心律失常、心泵衰竭(急性左心衰竭和心源性休克)及心电图改变等因素密切有关。一、心律