Workflow Soundness Verification Based on Structure Theory of Petri Nets - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue International Journal of Computing and Information Sciences (IJCIS) Année : 2007

Workflow Soundness Verification Based on Structure Theory of Petri Nets

Résumé

Modern workflow management systems have to support tasks with complex dependency constraints and to cope with resource allocation problem. Therefore the need for analysis method to verify the correctness of workflow specification is becoming crucial. This paper exploits recent advances of structure theory of Petri nets to find efficient structural characterization of the basic soundness property. The obtained results allow the identification and analysis of workflow net classes allowing the modelling of complex synchronization and routing workflow constructs of practical need in particular in the context of collaborative management systems. For further information, please visit this web site.
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-01125453 , version 1

Citer

Kamel Barkaoui, R. Benayed, Zohra Sbai. Workflow Soundness Verification Based on Structure Theory of Petri Nets. International Journal of Computing and Information Sciences (IJCIS), 2007, 5, pp.51-62. ⟨hal-01125453⟩

Collections

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

Partager

Gmail Facebook X LinkedIn More