摘要
针对现有的案件处理系统功能单一、效率低、缺乏并行处理和协调优化能力,无法满足现代案件处理需求的问题,基于改进Petri网的工作流技术,解析案件处理特征,对案件处理系统动态过程进行规划、调度和调整,在建模过程中引入Petri网分布式处理框架和工作流的路由结构、触发机制,建立了一种改进Petri的网工作流案件分布式处理系统模型,并对模型进行定义化描述和合理性验证,为司法部门案件处理提供高效、安全、可靠的平台。
To solve the problem of the function of case processing system existing single, low efficiency, lack of parallel pro- cessing mechanism and capability of coordination optimization, can＇ t satisfy the demands of modern case processing, based on improved Petri net and workflow technology, this paper planed, scheduled and adjusted dynamic process of the case processing system, introducing of Petri net distributed processing framework and workflow routing structure, triggering mechanism in the process of modeling, set up a model of Petri net and workflow case distributed processing system according to features of case processing, and defined the model to describe and rationality verification. It provides efficient, safe, reliable platform for the department of justice case processing.
出处
《计算机应用研究》
CSCD
北大核心
2015年第2期475-478,共4页
Application Research of Computers
基金
四川省科技计划资助项目(2009SZ0213)
NASF基金资助项目(11176031)
关键词
案件处理
PETRI网
工作流
分布式处理
动态规划
合理性验证
系统模型
case management
Petri net
workflow
distributed processing
dynamic programming
rationality verification
system model
