System modeling and simulation with witness System modeling and simulation with witness：高等院校机械工程·工业工程系列教材 System modeling and simulation Control system modeling and simulation using Python Cyber modeling and simulation Comples system modeling and simulation language Modeling and simulation in IMS Modeling and simulation of logistics 并列题名：Modeling and simulation in IMS Ory of modeling and simulation