@文章{zbMATH06302115,作者{Joakim{Byg}和Morten{Jacobsen}和Lasse{Jacobsen}和Kenneth Yrke{J{\o}rgensen}和Mikael Harkj{\ae}r{M{\o}ller}和Ji\v{r}\{\i}{Srba},Title={TCTL保存从时间弧Petri网到时间自动机网络的转换},FJournal={理论计算机科学},日志={理论。计算机。科学}},ISSN={0304-3975},体积={537},页数={3--28},年份:{2014},Publisher={Elsevier,阿姆斯特丹},语言{英语},MSC2010={68Q85 68Q45 68Q60},Zbl={1359.68216}}