Research of the Verification in Workflow Process Modeling on the Application of Petri Nets

被引：1

作者：

Li Ye-bai ^{[1
]}

Mao Fu-qi ^{[1
]}

机构：

[1] N China Univ Technol, Coll Informat Engn, Beijing 100144, Peoples R China

来源：

2010 INTERNATIONAL CONFERENCE ON E-EDUCATION, E-BUSINESS, E-MANAGEMENT AND E-LEARNING: IC4E 2010, PROCEEDINGS | 2010年

关键词：

Workflow; Verification; Petri nets; Process;

D O I：

10.1109/IC4E.2010.71

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

A critical challenge for workflow management systems is their ability to respond effectively to changes in business processes. Unfortunately, today's workflow management systems are not well suited to dealing with frequent changes, because there are few checks to assure some minimal level of correctness. This paper presents a method using Petri-Net-Based techniques which makes the workflow process model verification mechanism integrated into the graphical process design component. As well as the verification process and verification approach are described.

引用

页码：21 / 24

页数：4

共 50 条

[1] Slicing Petri nets with an application to workflow verification
Rakow, Astrid
SOFSEM 2008: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2008, 4910 : 436 - 447
[2] Research of collaborative process workflow modeling based on stochastic Petri nets
Su, Yingying
Yu, Tianbiao
Hou, Jumning
Liang, Shuang
Wang, Wanshan
PROCEEDINGS OF THE 2008 12TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, VOLS I AND II, 2008, : 661 - 666
[3] The simulation and research of the workflow modeling based on Petri nets
Meng Guang-Xue
Guo Hong
Wu Jing
PROCEEDINGS OF THE 2017 7TH INTERNATIONAL CONFERENCE ON ADVANCED DESIGN AND MANUFACTURING ENGINEERING (ICADME 2017), 2017, 136 : 131 - 135
[4] The research on workflow process modeling based on Petri nets (ID: 6-136)
Yu Xiaogao
PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT, VOLS 1-5: INDUSTRIAL ENGINEERING AND MANAGEMENT INNOVATION IN NEW-ERA, 2006, : 2835 - 2840
[5] Application of Petri nets in business process modeling
Li, H.C.
Shi, M.L.
Xiaoxing Weixing Jisuanji Xitong/Mini-Micro Systems, 2001, 22 (01):
[6] Reactive Petri nets for workflow modeling
Eshuis, R
Dehnert, J
APPLICATIONS AND THEORY OF PETRI NETS 2003, PROCEEDINGS, 2003, 2679 : 296 - 315
[7] The application of Petri nets to workflow management
Van der Aalst, WMP
JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 1998, 8 (01) : 21 - 66
[8] An Extended Stochastic Petri Nets Modeling Method for Collaborative Workflow Process
Yi, Yang
2012 INTERNATIONAL CONFERENCE ON MEDICAL PHYSICS AND BIOMEDICAL ENGINEERING (ICMPBE2012), 2012, 33 : 1547 - 1552
[9] The Research and Application of the Workflow Technique Based on Petri Net in the Business Process Modeling
Wang Chengjun
2009 SECOND INTERNATIONAL SYMPOSIUM ON KNOWLEDGE ACQUISITION AND MODELING: KAM 2009, VOL 1, 2009, : 275 - 278
[10] Modeling workflow processes with colored Petri nets
Liu, DS
Wang, JM
Chan, SCF
Sun, JG
Zhang, L
COMPUTERS IN INDUSTRY, 2002, 49 (03) : 267 - 281

← 1 2 3 4 5 →