F.鲍斯。；贝尔纳，H。；Fischer，M。；坎佩尔，P。；沃尔克，M。 用于流程链建模和分析的ProC/B工具集。 （英语） Zbl 1047.68512号 Field，Tony（编辑）等人，《计算机性能评估》。建模技术和工具。2002年4月14日至17日，第12届国际会议，TOOLS 2002，英国伦敦。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43539-5）。莱克特。注释计算。科学。2324, 51-70 (2002). 摘要：本文提供了一个用于建模和分析物流网络的工具集。该工具集包括一个图形用户界面，可容纳“流程链”视图。它支持通过各种方法进行模型分析，包括模拟、代数和数值技术。基于对象的层次结构有助于跟踪大型模型。层次结构采用功能单元的概念，其中可能包括下级功能单元，其中功能单元向其环境提供服务，这些服务通过调用下级功能单元的服务在内部完成。这种观点在很大程度上与现实世界中的组织结构一致。我们描述并分析了一个供应链模型，以演示工具集的功能。关于整个系列，请参见[Zbl 0992.00046号]. MSC公司： 68平方米 计算机系统环境下的性能评估、排队和调度 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：过程链；电子商务；电子商务；模拟；排队网络；广义随机Petri网 软件：项目C/B PDF格式BibTeX公司 XML格式引用 \textit{F.Bause}等人，Lect。注释计算。科学。2324，51-70（2002；Zbl 1047.68512） 全文： 链接