原名:Structural Translation from Time Petri Nets to Timed Automata
作品简介:法国或外国人、公共或私人实验室的研究和研究机构。从时间 Petri Nets 到 Timed 的结构转换。自动机。弗兰克·卡塞兹、奥利维尔·亨利·鲁。引用这个版本:Franck Cassez、Olivier Henri Roux。结构翻译……
资源下载
VIP免费升级VIP
原名:Structural Translation from Time Petri Nets to Timed Automata
作品简介:法国或外国人、公共或私人实验室的研究和研究机构。从时间 Petri Nets 到 Timed 的结构转换。自动机。弗兰克·卡塞兹、奥利维尔·亨利·鲁。引用这个版本:Franck Cassez、Olivier Henri Roux。结构翻译……