PETRI网的行为理论及其应用