由于近几年来冷藏乳制品市场潜力的不断开拓,如低温优酪乳、低温优酪乳,冷藏乳制品中小企业面对的市场竞争日益激烈,为了在这种转变中把握住市场,必须从原有的生产模式与交货方式向更加客制化、准时化的生产模式转变。在这个转变过程中相当多的生产问题慢慢暴露出来。在学习Petri网建模理论过程中,,发现Petri网其本身具有图形论述的直观性、对模型整体以及模型过程的表现力极强,其库所和变迁元素的状态变化逻辑非常清晰明了,非常适合对流程状态变化进行描述与优化。本文的研究内容如下:(1)本文对Petri网的定义及其模型建立相关理论方法在WQ公司(下文简称WQ)生产流程上的应用研究分析,对Petri网模型的可达性、活性和有界性等基本性质特点的分析和对上述基本性质的定性分析方法。(2)将WQ优酪乳生产流程分为调配流程和充填流程并对这两个流程的步骤进行分解,最后基于Petri网建模理论分别建立优酪乳调配流程和充填流程Petri网模型。(3)利用关联矩阵对建立的优酪乳调配流程模型性质特点进行分析,得到优酪乳调配模型中存在两处冲突和两个可以并行处,对这两处工序进行分析优化,建立新的调配流程模型,并对优化的合理性进行了验证。(4)对WQ优酪乳充填流程进行建模分析,通过其关联矩阵发现该模型中存在锁死和冲突,即在实际充填工序中充填液和空瓶到达充填机的时间不一致导致该工序因得不到充足的资源而停机,以及包装线上包材的短缺冲突,针对上述问题进行分析优化,建立优化后的模型并对优化效果进行了验证。