本文主要研究了供应链系统的层次结构和响应时间问题。供应链系统的层次结构分析能够帮助我们更加深入地了解系统各组成部分的功能,并快速定位系统运作过程中风险的产生环节。供应链系统的响应时间分析可以用来改善系统资源的利用情况,保障最终用户收到产品的时间。所以,对供应链系统的结构和性能进行研究是一项很有意义的工作。本文利用主流的形式化方法,从层次结构和响应时间两个方面对供应链系统开展研究和分析,并对一类制造业供应链系统进行性能建模与评估,主要研究内容包括以下三个部分:一、供应链并发系统的层次结构分析。本文提出了一种绿色供应链系统的层次结构分析方法。该方法采用Petri网对绿色供应链系统进行形式化建模,通过处理Petri模型对应的关联矩阵,揭示绿色供应链系统的层次结构,并生成能够表示这种层次结构的性能评估进程代数(PEPA)模型,从而更加直接地展现系统的整体结构特征以及内部各子系统的结构特征。在此基础上,我们以汽车制造业绿色供应链系统为例,对本文提出的绿色供应链系统层次结构分析方法的实现过程进行详细地阐述。二、供应链并发系统的响应时间分析。本文提出了一种基于服务流程序列的供应链系统响应时间求解方法。供应链系统的响应时间是指系统完成某项业务需要的总时间,服务流程序列是指系统完成某项业务必须执行的一系列动作。该方法采用PEPA对供应链系统进行形式化建模,通过处理PEPA模型对应的动作矩阵,获取指定动作之间的服务流程序列。并基于获取的服务流程序列,求解和分析供应链系统的响应时间,利于提高系统的工作效率和资源利用率。在此基础上,我们以戴尔公司供应链系统为例,对本文提出的供应链系统服务流程序列获取方法的实现过程进行详细地阐述。三、一类制造业供应链系统的性能建模与分析。本文提出了一种以响应时间为主的供应链系统性能分析方法。该方法利用PEPA对供应链系统进行形式化建模,并结合获取的服务流程序列,采用随机模拟求解法对系统的性能参数进行评估,并分析了不同因素对这些性能参数的影响,从而为系统的设计与改进提供指导意见。在此基础上,我们以一类制造业供应链系统为例,对本文提出的以响应时间为主的供应链系统性能分析方法的实现过程进行详细地阐述。