To Implement Process Blocking in the Model Checker SMV

• 在模型检验工具SMV中实现进程阻塞