A Method for Modeling Multi-task Workflow Based on High-Level Petri Nets

Author

Xue, Liang Gui ; Yao, Yao Wen

Author_Institution

Sch. of Comput. Sci. & Eng., South China Univ. of Technol., Guangzhou, China

Volume

2

fYear

2009

fDate

28-30 Oct. 2009

Firstpage

354

Lastpage

357

Abstract

Workflow is an abstract depiction of a sequence of operations and the business rules of these operations. Workflow modeling represents the sequence and cooperation, and gives the patterns implemented by computer. Recently the parallel workflow pattern is one of the popular issues studied in workflow modeling. Workflow uses Petri nets as design language for complex workflow in concurrent systems. Petri nets are characterized by exact mathematical definition and intuitive graphical expression. To solve the problem of graph expansion of Petri nets in modeling workflow, the high-level Petri nets (HPN) expend the basic Petri nets by importing colored token, time and hierarchy. This paper proposes a method for modeling the multi-task workflow with high concurrency and automatic scheduling.

Keywords

Petri nets; workflow management software; automatic scheduling; business rules; concurrent systems; high level Petri nets; intuitive graphical expression; multitask workflow modeling; parallel workflow pattern; Bipartite graph; Chemical processes; Computer science; Concrete; Concurrent computing; Delay effects; Petri nets; Processor scheduling; Routing; Throughput; High-level Petri Nets; Multi-task; Parallel; Petri nets; Workflow;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Science and Engineering, 2009. WCSE '09. Second International Workshop on

Conference_Location

Qingdao

Print_ISBN

978-0-7695-3881-5

Type

conf

DOI

10.1109/WCSE.2009.829

Filename

5403188