基于Petri网的汽车涂装流程建模及可达性分析
Modeling and Reachability Analysis of Automobile Painting Process Based on Petri Net
刘芙洁 1卢可1
作者信息
- 1. 安徽理工大学 数学与大数据学院,安徽 淮南 232001
- 折叠
摘要
针对汽车涂装工艺的复杂流程,利用Petri网建模并构造可达性算法,以分析网系统的动态性质,以及在流程中资源的可达性.根据涂装工艺流程建立了Petri网的原模型,增加相关的活动并分析它们之间的行为关系,以优化模型性能;基于可达性的理论知识,构造验证模型状态可达的算法,该算法用来验证目标状态是否可达;在PIPE软件上进行了模拟仿真试验.结果表明:优化后的模型是安全、有界、无死锁的.
Abstract
In view of the complex process of automobile painting process,the reachability algorithm is constructed and modeled by Petri net to analyze the dynamic properties of the net system and the reachability of resources in the process.Firstly,the original model of Petri nets is built according to the painting process,related activities are added and their behavioural relationships are analyzed to optimize the model performance.Then,based on the theoretical knowledge of reachability,an algorithm is constructed to validate the reachability of the model state,which is used to validate the reachability of the target state.Finally,simulation experiments are carried out on PIPE software and the results show that the optimized model is secure,bounded and deadlock-free.
关键词
涂装工艺/模型分析/可达性/PIPEKey words
coating process/model analysis/reachability/PIPE引用本文复制引用
基金项目
国家自然科学基金(61572035)
安徽省学术和技术带头人资助项目(2022D327)
出版年
2024
NETL
NSTL
万方数据