基于petri网形式化软件开发方法研究硕士论文

西华大学硕士学位论文 基于Petri网的形式化软件开发方法研究 计算机应用技术专业 研究生蒋忠远 指导教师宋文 摘要 随着计算机软件的飞速发展，提高软件开发的效率已成为一个非常重要的 闻题。采用软件形