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
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;
Conference_Titel :
Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on
Print_ISBN :
0-7803-4778-1
DOI :
10.1109/ICSMC.1998.725392
