赫里斯托夫·希雷尔;布鲁诺·塔芬;Kishor S.特里维迪。 SPNP：随机Petri网。版本6。0 （英语） Zbl 0970.68681号 Haverkort，Boudewijn R.（编辑）等人，《计算机性能评估》。建模技术和工具。第11届国际会议，TOOLS 2000，美国伊利诺伊州绍姆堡，2000年3月27日至31日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1786, 354-357 (2000). 关于整个系列，请参见[Zbl 0935.00046号]. 引用于三文件 MSC公司： 68单位99 计算方法和应用 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68平方米 计算机系统环境下的性能评估、排队和调度 软件：SPNP公司 PDF格式BibTeX公司 XML格式引用 \textit{C.Hirel}等人，Lect。注释计算。科学。1786、354--357（2000年；Zbl 0970.68681）