论文部分内容阅读
在软件的设计过程中，开发者通常会使用递归的方法来代替复杂的循环过程。虽然递归的方法相对简单，却比较难于理解和控制。本文使用Petri网工具，通过建模的方法针对递归过程进行分析和模拟。在以往的研究中，Petri网很少被用于构造递归模型。文中建立了一个递归模型，提供了形式化建模方法和验证，并通过Java程序对其进行了模拟验证，达到了对递归过程分析的目的。