|
 
|
[SBB09] Workflow Modeling and Analysis using Petri Nets
Conférence Internationale avec comité de lecture : ICICS'09, 7th International Conference on Information, Communications and Signal Processing, Macau, 8-10 December, 2009, January 2009, pp.25-33,
motcle:
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.
Equipe:
sys
BibTeX
| @inproceedings { | |||
| SBB09, | |||
| title | = | "{Workflow Modeling and Analysis using Petri Nets}", | |
| author | = | " Z. Sbai and K. Barkaoui and R. Ben Ayed ", | |
| booktitle | = | "{ICICS'09, 7th International Conference on Information, Communications and Signal Processing, Macau, 8-10 December, 2009}", | |
| year | = | 2009, | |
| month | = | "January", | |
| pages | = | "25-33", | |
| } | |||
