A Method for Soundness Verification of Workflow Model Based on Petri Net

被引：1

作者：

Wang Jianliang ^{[1
]}

Xia Zhiwei ^{[1
]}

Ding Yanan ^{[1
]}

机构：

[1] Ocean Univ China, Dept Comp, Qingdao 266071, Shandong, Peoples R China

来源：

ICCSSE 2009: PROCEEDINGS OF 2009 4TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION | 2009年

关键词：

Workflow model; Petri-net; WF-net; soundness; jdom;

D O I：

10.1109/ICCSE.2009.5228211

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

There are a lot of modelling and analysis tools available for workflow, but Petri net is more preferable because of its solid mathematical foundation and graphical nature. Using the Petri theory on structural and behavioural properties, this paper analyses the good qualities and defects of the available achievements, and proposes an algorithm for the soundness of the workflow model according to the characteristics of WF-net.

引用

页码：880 / 883

页数：4

共 8 条

[1]

LI XZ, 2006, WUHAN U J NATURAL SC, V11

[2]

PERUMAL S, 2005, 16 INT WORKSH DAT EX

[3]

PFEIFFER JH, 2004, 11 INT C WORKSH ENG

[4]

REN RS, 2007, VERIFICATION WORKFLO

[5] The application of Petri nets to workflow management [J].

Van der Aalst, WMP .

JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 1998, 8 (01) :21-66

[6]

VANDERALAST WMP, 1996, 9623 EINDH U TECHN

[7]

WANG JL, 2008, MICROCOMPUTER INFORM, V24, P21

[8]

Workflow Process Definition Interface, 2002, WORKFLOW PROCESS DEF

← 1 →