@第{zbMATH05612516条，作者={Hadjidj、Rachid和Boucheneb、Hanifa}，Title={On-the-fly{{\（TCTL\）}}模型检查时间{Petri}网}，FJournal＝{理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={410}，数字={42}，页码={4241--4261}，年份={2009}，语言={英语}，DOI={10.1016/j.tcs.2009.06.019}，关键词={68Q60,68Q85}，zbMATH={5612516}，Zbl={1186.68292}}