识别离散事件系统所需的事件序列| IEEE会议出版物| IEEE Xplore