时控弧 Petri 网到时控自动机网络的高效转换 电子书下载

原名:An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata
作品简介:抽象的。具有读弧的有界定时弧 Petri 网最近被称为 Petri 网 (TAPN) [7, 12]，其中为每个网分配一个年龄（实数）。……