@收款{zbMATH01302050，作者={Thiagarajan，P.S.和Henriksen，Jesper G.}，Title={线性时间时序逻辑的分布式版本：{A}跟踪透视}，BookTitle={关于Petri网的讲座。1:基本模型。Petri网进展}，ISBN＝{3-540-65306-6}，页码={643--681}，年份={1998}，出版商={柏林：施普林格}，语言={英语}，关键词={03B44,68Q85,68Q45,03B70,68Q10,03B25,03D05}，zbMATH={1302050}，Zbl={0934.03025}}