10.3321/j.issn:1002-8331.2006.13.022
时间Petri网弱语义模型的形式化分析
时间Petri网存在强语义和弱语义两种模型,弱语义模型更适合建模和分析外部环境触发的冲突选择问题,但其形式语义和可达性分析方面的研究,却很少有人问津.利用带标号的变迁系统定义时间Petri网弱语义模型的形式语义,采用时间戳状态类方法分析它的可达性,并证明了可达性问题的可判性和状态类时间戳的全局时间性质.
时间Petri网、弱语义、形式语义、可达性分析
42
TP393(计算技术、计算机技术)
2006-06-14(万方平台首次上网日期,不代表论文的发表时间)
共5页
69-72,115