In this paper, four basic model of workflow systems are discussed based on SPN (stochastic Petri nets), and their performance equivalent equations are deduced. Finally, an example is given to explain how to model a workflow system based on SPN, and how to use those equations to compute their performance. By using these equations, not only the complex workflow model can be simplified but also the product-form solution of performance parameter of workflow model can be got.