基于时间Petri网的并行测试研究的综述报告

基于时间Petri网的并行测试研究的综述报告时间Petri网（Timed Petri Net，TPN）是Petri网的一种扩展形式，其在描述系统的行为时增加了时间维度。TPN中的所有变迁都有一个时间限