基于Petri网的民事诉讼流程建模及评价

A Petri net-based approach to analyze and evaluate civil litigation process

法院民事诉讼流程的建模和评价是实现其流程重组、优化和改进以及资源合理配置的基础。该文提出了采用形式化建模语言Petri网来建模法院当前的民事诉讼流程,从而可以利用Petri网分析方法(可达图、不变量)对民事诉讼流程进行正确性分析,如不存在死锁、活锁等。在此基础上,通过考虑流程中各活动的执行时间,应用随机时间Petri网对诉讼流程进行性能分析,从而可以估算诉讼流程的平均周期时间、各资源的利用率等性能指标,为法院诉讼流程的重组、优化和改进提供了决策上的支持。

The modeling and analysis of civil litigation processes is the key to the reengineering,optimization,and improvement of litigation processes in courts at all levels.This paper describes an approach of modeling the civil litigation process using the Petri net,a classical formalism with graphical notations.Based on the models,various analytical tools(such as reachability graph) in the Petri nets can be adopted to analyze logical correctness of civil litigation processes,such as deadlock-free,normal termination.Furthermore,by taking into account the time spent on the activities in these processes,a stochastic Petri net was utilized to evaluate the performance of the civil litigation processes,for example,the cycle time and resource utilization.As a result,the bottlenecks of processes can be found,and then various measurements can be taken to improve the efficiency and effectiveness of handling litigation processes.