@收款{zbMATH07158702，作者＝{Gupta，Utkarsh和Shah，Preey和Akshay，S.和Hofman，Piotr}，标题={无序数据的连续可达性{Petri}网位于{PTime}}中，BookTitle={软件科学和计算结构基础。2019年第22届国际会议，FOSSACS，作为欧洲软件理论与实践联合会议的一部分，于2019年4月6日至11日在捷克共和国布拉格举行。诉讼}，国际标准图书编号={978-3-030-17126-1；978-3-0.30-17127-8}，页码={260--276}，年份={2019}，出版商={Cham:Springer}，语言={英语}，DOI＝{10.1007/978-3-030-17127-8_15}，关键词={68Q85,68Q25}，zbMATH={7158702}，Zbl={1524.68217}}