比较定时自动机和 Petri 网定时扩展的表达能力 电子书下载

原名:Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
作品简介:例如分配给令牌游戏和第 22 届 Petri 网应用与理论国际会议的相关时间特征之间的转换（时间 Petri 网）的时间间隔。继续活着。……