@收款{zbMATH05724284，作者={Kristensen，Lars M.}，标题={有色{Petri}网的显式状态空间探索透视：过去、现在和未来}，BookTitle={Petri网的应用和理论。第31届国际会议，Petri nets 2010，葡萄牙布拉加，2010年6月21日至25日。诉讼}，国际标准图书编号={978-3-642-13674-0}，页码={39--42}，年份={2010}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-13675-7_4}，关键词={68Q85,68Q60}，zbMATH＝{5724284}，Zbl={1285.68107}}