Structural Analysis of Workflow Nets with Shared Ressources - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1998

Structural Analysis of Workflow Nets with Shared Ressources

Résumé

A workflow is the automation of business processes which describes activities in a business context. A workow management system defines, creates and manages the execution of workflows. Petri nets have been shown to be a well-suited formalism to model and analyse business processes. The verification of soundness of a procedure, i.e. correct termination, using Petri nets, was considered in [vdA97]. In this paper, we extend this work by also taking into account resources shared by workflow procedures. We show how the soundness property can be proved efficiently by using structural Petri nets techniques. Voir le lien ici
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-01125432 , version 1

Citer

Kamel Barkaoui, Laure Petrucci. Structural Analysis of Workflow Nets with Shared Ressources. Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM'98), Jan 1998, X, France. pp.82-95. ⟨hal-01125432⟩

Collections

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

Partager

Gmail Facebook X LinkedIn More