阿明·齐默尔曼;杰恩·弗雷海特;德语，莱因哈德;贡特霍梅尔 使用TimeNET 3进行Petri网建模和性能评估。0 （英语） Zbl 0970.68665号 Haverkort，Boudewijn R.（编辑）等人，《计算机性能评估》。建模技术和工具。第11届国际会议，TOOLS 2000，美国伊利诺伊州绍姆堡，2000年3月27日至31日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1786, 188-202 (2000).MSC公司：68单位99 68平方米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛A.Zimmermann｝等人，Lect。注释计算。科学。1786188-202（2000年；Zbl 0970.68665）
克里斯托夫·林德曼 使用确定性和随机Petri网进行性能建模。带CD-ROM。 （英语） Zbl 0897.68012号 奇切斯特：John Wiley&Sons。xiii，405页（1998年）。 审核人：B.Haverkort（亚琛） MSC公司：68平方米 68-01 68-04 60K99型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛C.Lindemann｝，使用确定性和随机Petri网的性能建模。带CD-ROM。奇切斯特：约翰·威利父子公司（1998；Zbl 0897.68012）
克里斯托夫·林德曼 在马尔可夫再生随机Petri网分析中利用同构和特殊结构。 （英语） Zbl 0862.60080号 Stewart，William J.（编辑），《马尔可夫链计算》。第二届马尔可夫链数值解国际研讨会论文集，罗利，北卡罗来纳州，美国，1995年1月16日至18日。马萨诸塞州波士顿：Kluwer学术出版社。383-402 (1995).MSC公司：60 K15 60J10型 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{C.Lindemann}，in：马尔可夫链计算。第二届马尔可夫链数值解国际研讨会论文集，罗利，北卡罗来纳州，美国，1995年1月16-18日。马萨诸塞州波士顿：Kluwer学术出版社。383--402（1995年；Zbl 0862.60080）
克里斯托夫·林德曼 一种改进的数值算法，用于计算确定性和随机Petri网模型的稳态解。 （英语） Zbl 0785.68008号 执行。评估。 18，第1号，79-95（1993）. 审核人：C.林德曼 MSC公司：68平方米 68问题85 65C99个 PDF格式BibTeX公司 XML格式引用 \textit{C.Lindemann}，执行。评估。18，编号1，79--95（1993；Zbl 0785.68008） 全文： 内政部
克里斯托夫·林德曼;德语，莱因哈德 使用状态相关的确定服务时间对离散事件系统进行建模。 （英语） Zbl 0776.68126号 离散事件动态。系统。 3，编号2-3249-270（1993）.MSC公司：68岁20岁 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Lindemann}和\textit{R.German}，离散事件动态。系统。3，编号2--3，249--270（1993；Zbl 0776.68126） 全文： 内政部
Boudewijn R.哈维尔科特。;特里维迪，基索S。 马尔可夫报酬模型的规范技术。 （英语） Zbl 0777.68029号 离散事件动态。系统。 3，编号2-3，219-247（1993）. 审核人：B.R.哈沃科特 MSC公司：68平方米 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{B.R.Haverkort}和\textit{K.S.Trivedi}，离散事件动态。系统。3、编号2--3、219--247（1993；Zbl 0777.68029） 全文： 内政部