原名:Comparison of the Expressiveness of Timed Automata and Time Petri Nets
作品简介:时间自动机和时间 Petri 网的表达能力比较。 FORMATS 2005 – 第三届定时系统形式建模和分析国际会议，2005 年 9 月，乌普萨拉。瑞典。 Springer-Verlag，3829，第 211-225 页，2005 年，计算机科学 HAL 讲义 ID：inria-……
资源下载
VIP免费升级VIP
原名:Comparison of the Expressiveness of Timed Automata and Time Petri Nets
作品简介:时间自动机和时间 Petri 网的表达能力比较。 FORMATS 2005 – 第三届定时系统形式建模和分析国际会议，2005 年 9 月，乌普萨拉。瑞典。 Springer-Verlag，3829，第 211-225 页，2005 年，计算机科学 HAL 讲义 ID：inria-……
