Advances in Verification of Time Petri Nets and Timed Automata 上传者：suq564 2021-05-10 04:10:28上传 PDF文件 3.91MB 热度 47次 该书介绍了Time Petr Nets 和 Timed Automata,总结了他们的研究成果,对于从事实时系统形式化方面的研究者比较有用。 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 码姐姐匿名网友 2025-03-10 21:08:01 对了解petrinet和自动机都很有帮助 发表评论
对了解petrinet和自动机都很有帮助