受控佩特里网

受控佩特里网（controlled Petri net），计算机科学技术名词，佩特里网的一种变型模型。这种模型中，变迁分为两类：可控变迁和不可控变迁。对于可控变迁，即使它是状态使能的，也要根据控制信号决定是否可发生，从而实现对系统运行的控制。