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 条

[41] Control verification of a chemical automated process by mixed Petri nets
Valentin, C
Rimlinger, C
2002 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS, 2002, : 84 - 89
[42] WORKFLOW ENGINE BASED ON PETRI NETS
Pan, Hailan
Wu, Cuihong
Ge, Xiaomin
INTERNATIONAL SYMPOSIUM ON COMPUTER SCIENCE & TECHNOLOGY, PROCEEDINGS, 2009, : 431 - 434
[43] Refinement of Petri nets in workflow integration
Ding, Zhijun
Zhang, Yaying
Jiang, Changjun
Zhang, Zhaohui
COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN III, 2007, 4402 : 667 - +
[44] Petri Net Computers and Workflow Nets
Tiplea, Ferucio L.
Diaconu, Raluca A.
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2015, 45 (03): : 496 - 507
[45] The Biconnected Verification of Workflow Nets
Polyvyanyy, Artem
Weidlich, Matthias
Weske, Mathias
ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010, PT I, 2010, 6426 : 410 - 418
[46] Design and Verification of Distributed Logic Controllers with Application of Petri Nets
Wisniewski, Remigiusz
Grobelna, Iwona
Grobelny, Michal
Wisniewska, Monika
INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2015 (ICCMSE 2015), 2015, 1702
[47] Compositional verification for workflow nets
Jiao, Li
Cheung, To-Yat
JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 2006, 15 (04) : 551 - 570
[48] Production process object modeling based on Petri nets
Chen, You-Ling
Zhang, Yong-Yang
Qin, Cheng-Hai
Zhong, Jian-Ping
Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2009, 15 (06): : 1075 - 1080
[49] Fault Diagnosis and Modeling of The Liquids Packaging Process. A Research Based on Petri Nets
Trigos Martinez, Miguel Angel
Garcia Moreno, Emilio
2008 10TH INTERNATIONAL CONFERENCE ON CONTROL AUTOMATION ROBOTICS & VISION: ICARV 2008, VOLS 1-4, 2008, : 1620 - 1624
[50] Modeling of HPLC fractionation process using Petri nets
Matsumoto, H
Kuroda, C
Irie, H
Ogawa, K
KAGAKU KOGAKU RONBUNSHU, 1999, 25 (04) : 613 - 618

← 1 2 3 4 5 →