佩特里网进程

佩特里网进程（process of a Petri net），计算机科学技术名词，通过网映射用一个出现网来描述佩特里网的一种运行情况。对于一个佩特里网Σ=( S，T;F，)和一个出现网N，若网映射φ:(S，T，F)→N，把(s)≥1的库所s都映射为N中前集为空的B元素，那么就称（N，φ ）为Σ的一个进程。