-
题名时间Petri网弱语义模型的形式化分析
- 1
-
-
作者
潘理
温颖文
-
机构
湖南理工学院计算机与信息工程系
中山大学计算机科学系
-
出处
《计算机工程与应用》
CSCD
北大核心
2006年第13期69-72,115,共5页
-
文摘
时间Petri网存在强语义和弱语义两种模型,弱语义模型更适合建模和分析外部环境触发的冲突选择问题,但其形式语义和可达性分析方面的研究,却很少有人问津。利用带标号的变迁系统定义时间Petri网弱语义模型的形式语义,采用时间戳状态类方法分析它的可达性,并证明了可达性问题的可判性和状态类时间戳的全局时间性质。
-
关键词
时间petri网
弱语义
形式语义
可达性分析
-
Keywords
time petri nets,weak semantics,formal semantics,reachability analysis
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
