The explicit representation and verification of business processes is one of the main issues when introducing a workflow management system. In this paper we present a tool for modelling and analysis of these processes. This tool, baptized jPnet, model workflow processes as workflow nets and verify them by using structure theory of Petri nets. Besides, jPnet permits to export correct workflow processes as a jPdl description for developers of the workflow management system jBPM or as PNML file for developers familiar with Petri nets.