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