机译:使用状态类定时自动机对时间Petri网进行模型检查
机译:检查间隔定时有色Petri网模型的无定时和定时线性特性
机译:使用时间流Petri网和Uppaal对与时间相关的系统规格进行模型检查
机译:基于部分秩序语义的时间Petri网模型检查
机译:有界Petri网的符号模型检查的编码方案比较。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:基于偏序语义的时间petri网模型检验
机译:结合符号和偏序方法进行模型检查1-安全petri网