A slicing technique for business processes

被引：0

作者：

Best, Eike ^{[1
]}

Rakow, Astrid ^{[1
]}

机构：

[1] Carl VonOssietzky Univ Oldenburg, Dept Comp Sci, D-26111 Oldenburg, Germany

来源：

INFORMATION SYSTEMS AND E-BUSINESS TECHNOLOGIES | 2008年 / 5卷

关键词：

D O I：

暂无

中图分类号：

F [经济];

学科分类号：

02 ;

摘要：

A slicing technique is described for Petri net models of business processes. By this technique, a Petri net can be reduced to a smaller one with less states, such that verification can be done on the smaller net and transferred to the larger one. Three case studies are discussed.

引用

页码：45 / 51

页数：7

共 11 条

[1]

[Anonymous], MODEL CHECKING

[2]

Brückner I, 2005, LECT NOTES COMPUT SC, V3455, P414

[3] Evaluating deadlock detection methods for concurrent software [J].

Corbett, JC .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1996, 22 (03) :161-180

[4]

Kindler E, 2000, LECT NOTES COMPUT SC, V1806, P235

[5]

Lee RM, 2000, LECT NOTES COMPUT SC, V1806, P359

[6]

Mayr H.C., 2002, LNI, V12, P75

[7]

MAYR HC, 1998, PETRI NETS BUSINESS

[8]

RAKOW A, 2008, LNCS, V4910

[9]

Rakow A, 2008, THESIS

[10]

VANDERAALST W, 2002, WORKFLOW MANAGEMENT, P62

← 1 2 →