基于状态可达图的离散事件系统时态性质分析
来源期刊：控制与决策1998年第1期
论文作者：田国会 刘长有 徐心和
文章页码：3 - 5
关键词：离散事件系统;状态可达图;时态逻辑;性质分析;
摘 要：离散事件系统的许多重要性质可用时态逻辑方便、直接和简明地进行描述，系统的性质分析可转化成时态公式满足关系的判定。基于状态可达图，给出了有限系统时态特征的判定方法。
田国会，刘长有，徐心和
山东工业大学自动化工程系东北大学
摘 要：离散事件系统的许多重要性质可用时态逻辑方便、直接和简明地进行描述，系统的性质分析可转化成时态公式满足关系的判定。基于状态可达图，给出了有限系统时态特征的判定方法。
关键词：离散事件系统;状态可达图;时态逻辑;性质分析;
