搜索: 离散事件动态系统:极大代数方法