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

Author

Debnath, Narayan ; Riesco, Daniel ; Vilallonga, Gabriel ; Montejano, Germán ; Uzal, Roberto

Author_Institution

Winona State Univ., Winona

fYear

2007

fDate

17-20 May 2007

Firstpage

482

Lastpage

487

Abstract

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).

Keywords

Petri nets; business process re-engineering; specification languages; workflow management software; Petri net; RAISE specification language; Wf process definition; business process reengineering; clocks; extended workflow process; Algebra; Business process re-engineering; Clocks; Engines; Logic; Neural networks; Software design; Specification languages; State-space methods; USA Councils;

fLanguage

English

Publisher

ieee

Conference_Titel

Electro/Information Technology, 2007 IEEE International Conference on

Conference_Location

Chicago, IL

Print_ISBN

978-1-4244-0941-9

Electronic_ISBN

978-1-4244-0941-9

Type

conf

DOI

10.1109/EIT.2007.4374545

Filename

4374545