Model checking; State equation; Petri net invariant; Siphons and traps; Conflict cluster;
机译:Petri Nets的应用和理论以及其他并发模型:Petri Nets 2017精选论文的特刊
机译:Petri Nets和其他并发模型的应用和理论:Petri Nets 2015精选论文的特刊前言
机译:使用彩色混合培养网的空间仲裁感应建模及模拟模型检查
机译:Petri网理论如何服务于Petri网络模型检查:调查
机译:有界Petri网的符号模型检查的编码方案比较。
机译:使用彩色混合Petri网和模拟模型检查的空间群体感应建模
机译:基于petri网和概率模型检验的Internet蠕虫传播建模,仿真与验证方法。