Title: Modeling and Partially Coordinated Diagnosis of Asynchronous Discrete-Event Systems