时延佩特里网

时延佩特里网（timed Petri net），计算机科学技术名词，一种含时间因素的佩特里网，对网中的各个变迁都赋予一个非负实数值。若对变迁 t的赋予值为a，表示变迁t的发生需要a 个单位时间才能完成。