机译:Petri网在制造系统中的应用; Bo的建模,控制和性能分析
机译:用于安全评估目的的ACAS随机动态着色Petri网模型的开发,验证和应用
机译:Petri网在带局部检测和修复的乘员安全系统可靠性预测中的应用
机译:通过在有色,多供应商,集成的,至关重要的无线(802.x)患者护理设备网络的设计中使用彩色Petri网模拟来确保患者安全
机译:Petri网分解及其在动力系统性能评估与控制中的应用
机译:表征用于患者监护的预警指标警报系统性能的框架
机译:提高临床报警系统的安全性,有效性和效率:基于模拟的生理显示器的可用性测试
机译:彩色随机petri网(Cs-pn)软件:在分布式系统的验证和性能评估中的应用