@书籍{zbMATH05530594，作者={Jensen、Kurt和Kristensen、Lars M.}，标题={彩色{Petri}网。{建模}和并发系统验证}，国际标准图书编号={978-3-642-00283-0；978-3-442-00284-7}，年份={2009}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/b95112}，关键词={68Q85,68-01,68M14}，zbMATH={5530594}，Zbl={1215.68153}}