普里塞·卢茨；哈罗·威梅尔 Petri网真正一致性和交错语义的统一方法。 （英语） Zbl 0917.68159号 西奥。计算。科学。 206，编号1-2219-256（1998）.MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Priese}和\textit{H.Wimmel}，Theor。计算。科学。206，编号1--2，219--256（1998；Zbl 0917.68159） 全文： 内政部
哈罗·威梅尔；普里塞·卢茨 Petri网pomset语义的代数表征。 （英语） Zbl 1514.68188号 Mazurkiewicz，Antoni（编辑）等人，CONCUR'97：并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1243, 406-420 (1997).MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{H.Wimmel}和\textit{L.Priese}，莱克特。注释计算。科学。1243406--420（1997年；Zbl 1514.68188） 全文： 内政部
多丽丝·诺尔特；普里塞·卢茨 抽象公平性和语义。 （英语） Zbl 0901.68106号 西奥。计算。科学。 177，第1期，139-153（1997）.MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit｛D.Nolte｝和\textit｛L.Priese｝，Theor。计算。科学。177，编号1，139--153（1997；Zbl 0901.68106） 全文： 内政部