书目详细信息 : 离散事件动态系统:极大代数方法