基于Petri网的递归模型构造与分析

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

Construction and analysis of recursion models based on Petri net

During the processes of designing software,developers always use the recursive methods to replace the complex loop commands.It's simple,but actually the recursion is really hard to control and understand.The author uses the Petri net tools to construct one model to analysis and simulate the recursive processes.The author constructs a recursive model,and provides one modeling and verification method,and simulates the processes with a Java program,and achieves the goal of analyzing the recursive processes.