时间Petri网弱语义模型的形式化分析

• 作者: 温颖文 潘理
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 时间Petri网 弱语义 形式语义 可达性分析
• 年，卷（期）: 2006,（13）
• 所属期刊栏目: 学术探讨
• 页码范围: 69-72,115
• 页数: 5页
• 分类号: TP393
• 字数: 6271字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2006.13.022

摘要

时间Petri网存在强语义和弱语义两种模型,弱语义模型更适合建模和分析外部环境触发的冲突选择问题,但其形式语义和可达性分析方面的研究,却很少有人问津.利用带标号的变迁系统定义时间Petri网弱语义模型的形式语义,采用时间戳状态类方法分析它的可达性,并证明了可达性问题的可判性和状态类时间戳的全局时间性质.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	潘理	湖南理工学院计算机与信息工程系	37	171	8.0	11.0
5	温颖文	中山大学计算机科学系	1	0	0.0	0.0