中文摘要：

基于连续Petri网模型，用一组常微分方程来描述程序，通过研究微分方程的解来研究程序的性能。每个微分方程描述程序状态的变化，每个状态可由介于0和1之间的数来度量，显示程序到达状态的程度。该方法的好处在于在做程序分析时，可避开状态爆炸问题。

英文摘要：

Based on continuous Petri net,build differential equation model for programs.The program behavior can be analyzed from the curves of the solutions of the differential equations.Each equation describes the program state change and the state can be measured by a number between 0 and 1,indicating how much the state can be reached while the program is in execution. The advantage of our method is that we can avoid state explosion program while doing program analysis.