高级软件工程(第5章形式化开发方法1_Petri网定义)

- 第5章 形式化开发方法 - 形式化方法：是建立在严格数学基础上，具有精确数学 表达形式和语义的开发方法。其中：形式化方法