时间自动机什么时候与时间 Petri 网类似？ 电子书下载

原名:When are Timed Automata weakly timed bisimilar to Time Petri Nets?
作品简介:已知有界 TPN 类包含在 TA 类中。关键词：时间 Petri 网、定时自动机、弱定时双相似性。……