基于Petri网和进程代数的复杂离散制造过程建模与性能评价方法研究

目前，制造过程管理层是制造企业提升制造能力和管理水平的瓶颈所在，也是制造企业实现数字化的薄弱环节，缺乏复杂离散制造系统过程建模和性能评价相统一的形式化方法，对制造系统的可控化给予的支撑存在着很大的局限性。进程代数的特性对于复杂系统的性能评价非常有吸引力，应用于制造系统的建模与分析已受到关注；Petri网是相对成熟的建模方法，在制造系统建模、分析及控制中得到广泛的应用。本课题建立面向复杂离散制造系统性能评价的过程模型框架，提出结合Petri网和进程代数在建模与性能评价方面优势的方法，进行复杂离散制造过程的形式化建模，并给出有效的性能评价方法，最后通过对典型离散制造系统的制造过程建模和模拟，对提出的模型与方法进行验证。本课题旨在提出复杂离散制造过程建模和性能评价的统一有效的形式化方法，为实现制造系统的可控化和制造过程改进提供理论方法支持，具有重要的学术价值和实际意义。