Petri nets; Stochastic processes; Model checking; Computational modeling; Mathematical model; Analytical models; Probabilistic logic;
机译:使用彩色混合培养网的空间仲裁感应建模及模拟模型检查
机译:短通信在以混合Petri网为模型的系统中的性能评估和模型检查
机译:基于在线模型检查的参数估计与混合功能Petri网的秀丽隐杆线虫神经元命运决策模拟模型
机译:多种普通过渡的统计模型检查混合培养网
机译:有界Petri网的符号模型检查的编码方案比较。
机译:使用彩色混合Petri网和模拟模型检查的空间群体感应建模
机译:双转移petri网模型的有限无限模型检验