DocumentCode
2197148
Title
Design and analysis of workflow processes with Petri nets
Author
Covès, C. ; Crestani, D. ; Prunet, F.
Author_Institution
Lab. d´´Inf., Robotique et Microelectron., Montpellier, France
Volume
1
fYear
1998
fDate
11-14 Oct 1998
Firstpage
101
Abstract
This paper aims to model workflow processes and to analyze them. From an enterprise model, we automatically translate the workflow processes into an equivalent Petri net which allows to check properties of good behavior. Thus, it is possible to verify the good modeling and to detect some process problems in the enterprise.
Keywords
Petri nets; corporate modelling; production control; enterprise model; equivalent Petri net; workflow process; Automatic control; Discrete event systems; Humans; Industrial plants; Petri nets; Power system modeling; Process control; Process design; Robotics and automation; Stochastic processes;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on
ISSN
1062-922X
Print_ISBN
0-7803-4778-1
Type
conf
DOI
10.1109/ICSMC.1998.725392
Filename
725392
Link To Document