In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'98), 11-14 October 1998, San Diego, CA, pages 101-106. 1998.
Abstract: This paper aims to model workflow processes and to analyze them. From an enterprise model, the workflow processes are automatically translated into an equivalent Petri net which allows the check properties of good behavior. Thus, it is possible to verify the models and to detect some process problems in the enterprise.
Keywords: Petri nets, workflow processes.