@第{zbMATH06302115条，作者={Byg、Joakim和Jacobsen、Morten和Jacopsen、Lasse和J{o}rgensen、Kenneth Yrke和M{o}ller、Mikael Harkj{ae}r和Srba、Ji{v{r}}{'{i}}}}，标题={{TCTL}-保存从时间弧{Petri}网到时间自动机网络的转换，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={537}，页码={3--28}，年份={2014}，语言={英语}，DOI={10.1016/j.tcs.2013.07.011}，关键词={68Q85,68Q45,68Q60}，zbMATH={6302115}，Zbl={1359.68216}}