@书籍{zbMATH05031700，作者=｛Penczek，Wojciech和P｛\'o｝｛\l｝rola，Agata｝，Title={时间{Petri}网和时间自动机验证的进展。{A} 时序逻辑方法。}，F系列＝{计算智能研究}，系列={Stud.Comput.Intell.}，ISSN={1860-949X}，体积={20}，国际标准图书编号={3-540-32869-6}，年份={2006}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-540-32870-4}，关键词={68Q85,68Q45,68Q60,03B44,68N30,68-02}，zbMATH={5031700}，Zbl={1110.68087}}