Workflow Modeling and Analysis using Petri Nets - Archive ouverte HAL Access content directly
Conference Papers Year : 2009

Workflow Modeling and Analysis using Petri Nets


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.
No file

Dates and versions

hal-01125807 , version 1 (06-03-2015)


  • HAL Id : hal-01125807 , version 1


Zohra Sbai, Kamel Barkaoui, R. Ben Ayed. Workflow Modeling and Analysis using Petri Nets. ICICS'09, 7th International Conference on Information, Communications and Signal Processing, Macau, 8-10 December, 2009, Jan 2009, X, France. pp.25-33. ⟨hal-01125807⟩


25 View
0 Download


Gmail Facebook Twitter LinkedIn More