Laboratory for Theoretical Computer Science Helsinki University of Technology P.O. Box 5400, FIN-02015 HUT, Finland;
modular petri nets; LTL-X; model checking; maria;
机译:关于Petri网单调扩展中的LTL片段模型检查的可判定性
机译:使用彩色混合培养网的空间仲裁感应建模及模拟模型检查
机译:短通信在以混合Petri网为模型的系统中的性能评估和模型检查
机译:模型检查模块化Petri网
机译:有界Petri网的符号模型检查的编码方案比较。
机译:ADAMMC:用于抵抗流动 - LTL的Petri网的模型检查器
机译:LTL模型检查模块化petri网
机译:计算科学:基于petri网展开的并行LTL-X模型检验的可预测性验证