Workflow Modeling and Analysis using Petri Nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Workflow Modeling and Analysis using Petri Nets

Résumé

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.
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-01125807 , version 1

Citer

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⟩

Collections

CNAM CEDRIC-CNAM
35 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More