论文部分内容阅读
随着世界经济的发展,市场竞争日趋激烈。依托着信息技术的支撑,越来越多的现代化企业都运用了以并行工程、敏捷制造、供应链管理和虚拟制造为代表的先进制造战略以增强企业的竞争力。
运用了虚拟制造技术的制造企业是本论文的研究对象。它是一个复杂系统,其自身就集成了各种各样的信息管理系统。本论文以运用了虚拟制造技术的制造企业的经营过程为原型,构建了企业生产经营过程工作流的Petri网模型。运用Petri网分层建模的思想避免了复杂系统建模出现状态空间爆炸的问题。通过对模型的优化和状态的可达性分析完成了对模型的分析与评估。
Petri网是一种优秀的工作流建模工具,并且已经研发出不少的分析与仿真的工具。但也有自身的缺点:对建模人员有较高的要求,要求有深厚的数学基础;一旦模型规模较大时,直接进行Petri网建模和模型修改就变得相当困难。为更好地实现复杂系统的Petri网建模,本论文提出了一种基于消息序列表(MessageSequenceCharts,MSC)的Petri网建模方法,从一定程度上克服了这些困难。
MSC是一种优秀的图表描述技术。它除了具有简单、直观和实用的特点外,还能够给出完备的数学语义描述。方便与直观的图形化描述使MSC在诸多方面得到广泛地应用。但它的重要缺点是其图表语义模型和数学语义模型都不易进行分析和仿真。本论文首先建立了虚拟制造企业的消息序列表(MSC)模型,通过给出的由MSC到Petri网的转换算法,得到虚拟制造企业的Petri网模型。这样既利用了MSC的简单易读,又可利用成熟的Petri网分析与仿真的方法。最后实现了对Petri网模型的分析与评估。