基于Petri网的CCFD软件科学工作流的建模及优化

作者：杜夏威; 陆忠华; 张鉴科学工作流petri网ccfd

摘要：本文基于Petri网理论对CCFD（China Computational Fluid Dynamics）软件平台的科学工作流进行建模与优化。首先利用Petri网技术对CCFD软件平台的整个工作流程进行分析和建模，并验证模型是否满足完备的工作流网的性质；然后在保证整个流程无死锁并可以顺利执行的条件下，通过对模型中存在多并发部分的可达图分析，结合CCFD平台本身科学工作流的特点，优化不合理的并发流程，降低用户操作的自由度，从而减少由于操作繁杂可能带来的风险，提高软件的可用性。最后在Petri网模型的基础上，分析在选择结构交汇的库所处存在的逻辑错误，进一步为软件实现提供代码级的指导，并最终实现CCFD软件平台工作流的优化。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社