@收款{zbMATH05072047，作者={B{\'e}rard，Beatrice and Cassez，Franck and Haddad，Serge and Lime，Didier and Roux，Olivier H.}，Title={时间自动机和时间{Petri网}的表达性比较，BookTitle={定时系统的正式建模和分析。第三届国际会议，FORMATS 2005，瑞典乌普萨拉，2005年9月26日至28日。诉讼}，国际标准图书编号={3-540-30946-2}，页码={211--225}，年份={2005}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/11603009}，关键词={68Q85,68Q45}，zbMATH={5072047}，Zbl={1175.68270}}