时间佩特里网

时间佩特里网（time Petri net），计算机科学技术名词，一种含时间因素的佩特里网，对网中的各变迁 t 赋予一对非负实数值 α，β(β≥α≥0，且有α＜∞)，从变迁t使能起，最少要过α单位时间才能发生，最晚不能超过β 单位时间发生。