Petri net; aPCTL; probabilistic behaviour;
机译:用于高效建模逻辑或的新型高级Petri网:彩色AND / OR Petri网(CARPN)
机译:用于Petri网线性约束的逻辑表达的结构控制器
机译:基于重要性抽样的控制逻辑Petri网中稀有事件的模型检查
机译:概率培养网及其逻辑语义
机译:故障概率的Petri网建模用于概率风险评估
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:基于分布语义的逻辑贝叶斯网络与概率逻辑程序设计的关系