Modeling and Correctness Checking of Petri-Net-Based Workflow
基于Petri网的工作流建模与正确性分析

There are a lot of modeling and analysis tools available for workflow,but Petri nets is more preferable be- cause of its solid mathematical foundation and graphical nature. This paper introduces the notion of WF-Net and the method modeling workflow with WF-Net. At last,this paper introduces the definition of correctness offered by Aalst, and presents an algorithm based on it to check the correctness of the WF-Net.