...
机译:通过彩色Petri网评估故障树,分析铁路系统可靠性
Beijing Jiaotong Univ Sch Elect &
Informat Engn Beijing Peoples R China;
Tech Univ Carolo Wilhelmina Braunschweig Inst Traff Safety &
Automat Engn Braunschweig Germany;
Dependability analysis; Petri net modeling; Hazard analysis; Railway control system;
机译:通过彩色Petri网评估故障树,分析铁路系统可靠性
机译:用于冗余系统可靠性分析的参数故障树及其高级Petri网语义
机译:使用C.ELEGANS VULVAL开发说明的彩色层次Petri网对生物系统进行建模和分析
机译:用彩色培养网模型的高速铁路列车控制动态模糊脆性分析
机译:用彩色Petri网建模可重入制造系统的系统方法。
机译:基于有色Petri网形式主义的多发性硬化症研究计算方法
机译:冗余系统可靠性分析的参数化故障树及其高级petri网语义
机译:彩色随机petri网(Cs-pn)软件:在分布式系统的验证和性能评估中的应用