Abstract:The modeling of software maintenance is the key to process improvement,logical distribute resource and improve efficiency. The paper describes an approach of modeling the software maintenance process using the Petri net,a classical formalism with graphical notations. Based on the models,various analytical tools(such as reach ability graph,invariant) in the Petri net can be adapted to analyze logical correctness of software maintenance process. Furthermore,by taking into account the time spent on the activities in these processes. The time of transition been fired was utilized to reflect the work situation of maintenance organization. As a result,it helps estimated maintenance turnover time and resource utilize ratio,and helps to provide information to decision-making for improving efficiency and effectiveness of software maintenance process.

A Petri net-based Approach and Application Analysis to Modeling Software Maintenance Process