基于网络展开法研究标识之间的可达关系

摘要：

本文研究了某些标识之间的可达关系。首先，给出了一种有限前缀；然后在该有限前缀的基础上判断某些配制之间的可达关系；最后，通过这些配制之间的可达关系判断这些配制对应标识之间的可达关系。

关键词： 离散事件系统 网络展开法 有限前缀 可达关系

作者: 王寿光

作者单位: 浙江工商大学信息与电子工程学院,杭州310018

会议类型: 国内会议

会议名称: 第26届中国控制会议

会议地点: 湖南张家界

会议语种:中文

页码: 685-689

在线出版日期: 2007-07-26（万方平台首次上网日期，不代表论文的发表时间）