库尔特·延森 彩色Petri网。基本概念、分析方法和实际应用。第3卷。 （英语） Zbl 0883.68098号 EATCS理论计算机科学专著柏林：施普林格。ix，第265页（1997年）。 审核人：R.Janicki（汉密尔顿/安大略省） MSC公司：68问题85 68-02 PDF格式BibTeX公司 XML格式引用 \textit{K.Jensen}，有色Petri网。基本概念、分析方法和实际应用。第3卷。柏林：施普林格出版社（1997；Zbl 0883.68098）
库尔特·延森 彩色Petri网。基本概念、分析方法和实际应用。第1卷。第2版。 （英语） Zbl 0842.68049号 EATCS理论计算机科学专著柏林：Springer-Verlag。x、 234页（1996年）。MSC公司：68问题85 68-02 PDF格式BibTeX公司 XML格式引用 \textit{K.Jensen}，有色Petri网。基本概念、分析方法和实际应用。第1卷。柏林第二版：Springer-Verlag（1996；Zbl 0842.68049）
库尔特·延森 彩色Petri网。基本概念、分析方法和实际应用。第1卷。 （英语） Zbl 0762.68004号 EATCS理论计算机科学专著柏林等：斯普林格-弗拉格。十、 第234页（1992年）。 审核人：M.Jantzen（汉堡） MSC公司：68-02 68单位07 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Jensen}，有色Petri网。基本概念、分析方法和实际应用。第1卷。柏林等：Springer-Verlag（1992；Zbl 0762.68004）
里扎德·贾尼基;Peter E.劳尔。 并发系统的规范和分析。COSY方法。 （英语） Zbl 0765.68007号 EATCS理论计算机科学专著柏林等：斯普林格-弗拉格。十二、 第480页（1992年）。 审核人：J.-J.Ch.Meyer（阿姆斯特丹） MSC公司：68-02 2010年第68季度 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}和\textit{P.E.Lauer}，并发系统的规范和分析。COSY方法。柏林等：Springer-Verlag（1992；Zbl 0765.68007）
最好的，艾克;费尔南德斯，塞萨尔·C。 非连续过程。Petri网视图。 （英语） 兹比尔0656.68005 EATCS理论计算机科学专著, 13. 柏林等：Springer-Verlag。八、 112页。；DM 48.00（1988年）。 审核人：C.马萨拉吉 MSC公司：68-02 65年第68季度 06年06月06日 68N25号 68问题85 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}和\textit{C.Fernández}，非顺序过程。Petri网视图。柏林等：Springer-Verlag（1988；Zbl 0656.68005）
沃尔夫冈·雷西格 Petri网。引言。Transl.公司。来自德国。 （英语） Zbl 0555.68033号 EATCS理论计算机科学专著, 4. 柏林等：Springer-Verlag。十、 161 p.DM 69.00（1985）。 审核人：W.夸索维奇 MSC公司：68问题85 68-01 PDF格式BibTeX公司 XML格式