基于Witness的供应链系统的仿真设计 第2页