阿明·齐默尔曼；杰恩·弗雷海特；德语，莱因哈德；贡特霍梅尔 使用TimeNET 3进行Petri网建模和性能评估。0 （英语） Zbl 0970.68665号 Haverkort，Boudewijn R.（编辑）等人，《计算机性能评估》。建模技术和工具。第11届国际会议，TOOLS 2000，美国伊利诺伊州绍姆堡，2000年3月27日至31日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1786, 188-202 (2000). 概述：本文介绍了TimeNET，一种使用随机Petri网进行建模和性能评估的软件工具。该工具是专门为具有非发起分布式触发延迟的模型设计的。给出了软件包及其新功能的概述。图形用户界面被完全重写。它以用户友好且一致的方式集成了不同的模型类。最近的改进之一是基于有色随机Petri网的制造系统建模和性能评估环境。作为应用实例，对一个制造系统进行了建模和分析。关于整个系列，请参见[Zbl 0935.00046号]. 引用于4文件 MSC公司： 68单位99 计算方法和应用 68平方米 计算机系统环境下的性能评估、排队和调度 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 软件：GreatSPN 1.7；TimeNET（时间网）；SPNP公司；DSPN快递 PDF格式BibTeX公司 XML格式引用 \textit｛A.Zimmermann｝等人，Lect。注释计算。科学。1786188-202（2000年；Zbl 0970.68665）