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 条

[31] Nested Petri nets for adaptive process modeling
Lomazova, Irina A.
PILLARS OF COMPUTER SCIENCE, 2008, 4800 : 460 - 474
[32] Research on hierarchically Petri nets modeling based on emergency plan process Ontology
Du Lei
Wang Wenjun
Dong Cunxiang
Zhang Xiankun
Gao Shan
PROGRESS IN MEASUREMENT AND TESTING, PTS 1 AND 2, 2010, 108-111 : 372 - 379
[33] Properties research of Petri nets-safety place substitution based on workflow nets
Dong L.-D.
Cheng X.-H.
Zheng H.
Zhejiang Daxue Xuebao (Gongxue Ban)/Journal of Zhejiang University (Engineering Science), 2010, 44 (09): : 1711 - 1718
[34] RESEARCH ON PRODUCTION PROCESS MODELING SIMULATION IN MANUFACTURING ENTERPRISE BASED ON PETRI NETS
Zhang, Yongyang
Chen, Youling
Qin, Chenghai
Zhong, Jianping
PROCEEDINGS OF THE 38TH INTERNATIONAL CONFERENCE ON COMPUTERS AND INDUSTRIAL ENGINEERING, VOLS 1-3, 2008, : 1798 - 1802
[35] Modeling and verification of sequential control paths using Petri nets
Erhard, W
Reinsch, A
Schober, T
DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN, 2001, : 41 - 46
[36] A Modeling and verification method for intelligent networks services with Petri nets
Ma, YX
Liu, YM
2003 INTERNATIONAL CONFERENCE ON COMMUNICATION TECHNOLOGY, VOL 1 AND 2, PROCEEDINGS, 2003, : 1396 - 1399
[37] Research on workflow process structure verification
Ling, H
Zhou, JB
ICEBE 2005: IEEE INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING, PROCEEDINGS, 2005, : 158 - 165
[38] Enzymatic competition: Modeling and verification with timed hybrid petri nets
Troncale, Sylvie
Comet, Jean-Paul
Bernot, Gilles
PATTERN RECOGNITION, 2009, 42 (04) : 562 - 566
[39] A Survey on Workflow Verifications of Petri Nets based Service Process Management
Yang, Xiaoxian
Yu, Tao
Xu, Huahu
INTERNATIONAL JOURNAL OF GRID AND DISTRIBUTED COMPUTING, 2015, 8 (06): : 79 - 89
[40] On the use of Petri Nets in Smart Contracts modeling, generation and verification
Pinna, Andrea
Tonelli, Roberto
2022 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION AND REENGINEERING (SANER 2022), 2022, : 1207 - 1211

← 1 2 3 4 5 →