离散事件动态系统的研究

用凝Petri网方法证明了离散事件动态系统(DEDS)周期（极点）配置的充要条件。证明了带或不带存贮器的Cohen建立的柔性制造系统模型是稳定的。针对太原鋼铁公司的热轧厂提出的无阻塞轧制节奏最优控制问题（即控制每批轧件中各品种的数量配比使日利润达最大），用极大代数方法建立了DEDS模型，对带或不带存贮器的这类一般串行生产线用状态反馈实现了最快意义下的无阻塞最优控制，进而在无阻塞或有阻塞最优控制下给出了批生产周期公式，并得到了单变量最优节奏控制的公式解与多变量的算法解，还解决了有关的符号运算问题，给出了太鋼各品种轧件的数值结果。提出了极大代数模的维数新概念并应用于DEDS的能达能观性。完成了自成体系的这一领域的国内第一本专著。