Analytical models; Benchmark testing; Petri nets; Rail transportation; Buildings; Mathematical model; Software tools;
机译:DES的结构可诊断性和简化Petri网诊断器的设计
机译:使用验证器网络对有界和无界有标签Petri网进行实时诊断性分析
机译:使用验证者网的有界和无界标记的Petri网的在线诊断性分析
机译:Petri净诊断性分析仪
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:模拟拟南芥的代谢:网络分解和网络还原在Petri网中的应用
机译:GreatSPN 1.7:定时和随机Petri网的图形编辑器和分析器
机译:WOFLaN:基于petri网的工作流分析器