Abstract: A workflow modeling method based on Petri nets is put forward,and dynamic behaviors of workflows are described and analyzed by means of the formal model.The detailed modeling mechanisms are given.