Model Identification and Synthesis of Discrete-Event Systems