机译:使用扩展间隔定时彩色Petri网的时间关键上下文感知服务建模与分析
机译:检查间隔定时有色Petri网模型的无定时和定时线性特性
机译:定时彩色Petri网在商业多云中服务组合建模与评估
机译:使用随机定时彩色培养网认知无线网络的建模与性能分析
机译:使用间隔定时彩色Petri网对复杂攻击场景进行建模和执行
机译:利用扩展的Petri-Net和马尔可夫链分析对基础设施的相互依赖性进行建模,以进行应急管理。
机译:基于Petri网和时间序列模型的基于本体的服务组合的可靠性预测
机译:使用区间定时着色petri网建模和执行复杂攻击场景