阿明·齐默尔曼；杰恩·弗雷海特；亚历山大·哈克 基于Petri网的制造系统设计引擎。 （英语） Zbl 1017.90511号 国际J.生产研究。 39，第2期，225-253（2001）. 概要：支持复杂制造系统的有效设计和操作需要集成建模、分析和控制方法，以及在软件工具中的实现。本文针对这一任务提出了基于Petri网的设计引擎TimeNET。Petri网能够以简洁的形式捕捉制造系统的特征。使用了有色Petri网的一个子类，该子类是专门为制造应用领域开发的。结构和工作计划是分开建模的。跃迁的触发时间采用随机、确定性和更一般的分布。关于系统特性的基本问题可以用定性分析来回答。为了有效地预测性能和可靠性，提出了不同的评估技术：直接数值分析、近似分析和模拟。最后，该模型可用于评估不同的控制策略并直接控制制造系统。无需更改建模方法，从而避免额外的工作，例如模型转换。本文通过一个应用示例描述了这些必要步骤。 引用于2文件 MSC公司： 90B30型 生产模型 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 软件：TimeNET（时间网） PDF格式BibTeX公司 XML格式引用 \textit{A.Zimmermann}等人，《国际期刊生产研究》39，第2期，225--253（2001；Zbl 1017.90511） 全文： DOI程序