基于状态空间等价类的有色Petri网特性验证

• 作者: 李沛武
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 有色Petri网 状态空间 标记迁移系统 等价类
• 年，卷（期）: 2003,（11）
• 所属期刊栏目: 博士论坛
• 页码范围: 16-18
• 页数: 3页
• 分类号: TP301
• 字数: 3545字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2003.11.006

摘要

在有色Petri网的状态空间中,有时一些状态具有相似的行为,这些状态可以用定义在状态空间上的一致的等价关系来表达,对每个等价状态类只研究它的一个代表状态的行为,这极大地减小了有色Petri网的状态空间.但是,通常对一个给定的等价关系是否为一致的验证都是通过用户的经验人工进行的,这不但容易产生错误,而且效率低下.该文依据普通状态图和等价类状态图的标记迁移系统关系,对状态空间一致性等价定义的计算机辅助验证做了深入的讨论,给出了相应的结果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李沛武	华中科技大学计算机学院	8	51	5.0	7.0