用布尔矩阵分析离散事件系统

本文用布尔矩阵研究了一类可用自动机描述的离散事件系统有在关性质。通过简单的矩阵运算，便可确定出系统状态间的距离（事件数）等参数。此外还讨论了用状态转移矩阵确定系统的可能逻辑迹集等问题。