Petri net; decidability; free choice net; liveness; reachability;
机译:通过使用逻辑控制功能从时间序列数据重构扩展Petri网
机译:使用扩展的模糊定时Petri网进行联网虚拟环境的建模和性能分析
机译:基于矩生成函数的扩展随机Petri网评估方法
机译:一些延长功能Petri网的可解除性分析
机译:利用扩展的Petri-Net和马尔可夫链分析对基础设施的相互依赖性进行建模,以进行应急管理。
机译:从时间序列数据重建扩展Petri网及其在信号转导和基因调控网络中的应用
机译:具有时间和紧急性的无界Petri网的可判定类
机译:扩展petri网的解释和分析能力