|
 
|
[BPa98] Structural Analysis of Workflow Nets with Shared Ressources
Conférence Internationale avec comité de lecture : Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM'98), January 1998, pp.82-95,
motcle:
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
Commentaires:
note
Collaboration:
LIPN
BibTeX
| @inproceedings { | |||
| BPa98, | |||
| title | = | "{Structural Analysis of Workflow Nets with Shared Ressources}", | |
| author | = | " K. Barkaoui and L. Petrucci ", | |
| booktitle | = | "{Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM'98)}", | |
| year | = | 1998, | |
| month | = | "January", | |
| pages | = | "82-95", | |
| note | = | "{note}", | |
| } | |||
