The Research on the Workflow Process Modeling Based on Petri-Net

Abstract

Base on the traditional workflow technology, the paper unified tasks, resources, data and control in a workflow process model and made a formalized description. The uniform process model improved the ability of description. Furthermore, the paper transformed the process model into equivalent Petri-net structure and improved it's ability of analysis and verification. Finally, the method was applied to the modeling process of space targets detection which validated the feasibility and effectiveness of the method.