A framework for the translation of extended workflow processes to Petri Net with Clocks

Workflow (Wf) has proven to be technology for the improvement of the businesses process. Interphase 1 of Wf allows the Wf processes definition (WPD). This definition does not have elements for the validation, in addition to the lack of temporal elements for time specifications. Our work approaches the theoretical frame for the WPD validation by means of Petri net with clocks (PNwC). This work presents, the correspondence between the WPD and a PNwC. The process definition analysis is made on the PNwC obtained by translation of the underlying process. The correspondence is specified by means of the RAISE specification language (RSL).