谓词/变迁系统

（计算机科学技术）

谓词/变迁系统（predicate/transition system），计算机科学技术名词，一种高级佩特里网，有向弧和标码都用一阶谓词加以标注。对谓词逻辑中的变量作不同的赋值，就得到网系统的不同运行。