林景岳;伊奥内斯库，丹 在广义时序逻辑中验证一类非确定性离散事件系统。 （英语） Zbl 0776.93084号 IEEE传输。系统。人类网络。 22，第6期，1461-1469（1992）. MSC公司： 93E03型 控制理论中的随机系统（一般） 03B45号 模态逻辑（包括规范逻辑） 关键词：非确定性离散事件系统;柔性制造系统 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Lin}和\textit{D.Ionescu}，IEEE Trans。系统。人类网络。22，第6号，1461-1469（1992；Zbl 0776.93084） 全文： DOI程序