...
机译:基于随机定时培养网模型的急诊部人员正式分析
ED staffingstochastic timed Petri netssimulationsojourn timeemergency healthcareclinic workflows;
机译:基于随机Petri网的容错合同网协议建模与形式化分析
机译:使用定时有色Petri网的基于形式模型的定量安全性分析
机译:使用随机定时彩色培养网认知无线网络的建模与性能分析
机译:将基于患者的时间和提供者的时间与急诊人员的人员配备水平和服务水平联系起来:一项基于RFID的研究
机译:急诊部门使用Petri网进行建模和分析。
机译:动脉粥样硬化中白细胞介素18参与的随机培养基于净模型
机译:2008,使用随机时间petri网建模和分析Web结构