Soundness of resource-constrained workflow nets

被引：0

作者：

van Hee, K ^{[1
]}

Serebrenik, A ^{[1
]}

Sidorova, N ^{[1
]}

Voorhoeve, M ^{[1
]}

机构：

[1] Eindhoven Univ Technol, Dept Math & Comp Sci, NL-5600 MB Eindhoven, Netherlands

来源：

APPLICATIONS AND THEORY OF PETRI NETS 2005, PROCEEDINGS | 2005年 / 3536卷

关键词：

Petri nets; concurrency; workflow; resources; verification;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We study concurrent processes modelled as workflow Petri nets extended with resource constraints. We define a behavioural correctness criterion called soundness: given a sufficient initial number of resources, all cases in the net are guaranteed to terminate successfully, no matter which schedule is used. We give a necessary and sufficient condition for soundness and an algorithm that checks it.

引用

页码：250 / 267

页数：18

共 50 条

[21] Reduction of Workflow Nets for Generalised Soundness Verification
Bride, Hadrien
Kouchnarenko, Olga
Peureux, Fabien
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2017, 2017, 10145 : 91 - 111
[22] Resource workflow nets: an approach to workflow modelling and analysis
Prisecaru, Oana Otilia
ENTERPRISE INFORMATION SYSTEMS, 2008, 2 (02) : 101 - 124
[23] Soundness preservation in composed logical time workflow nets
Liu, Wei
Du, YuYue
Yan, Chun
ENTERPRISE INFORMATION SYSTEMS, 2012, 6 (01) : 95 - 113
[24] Some Complexity Results for the Soundness Problem of Workflow Nets
Liu, GuanJun
IEEE TRANSACTIONS ON SERVICES COMPUTING, 2014, 7 (02) : 322 - 328
[25] RESOURCE ORIENTED WORKFLOW NETS AND WORKFLOW RESOURCE REQUIREMENT ANALYSIS
Wang, Jiacun
Li, Demin
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2013, 23 (05) : 677 - 693
[26] Soundness for S- and A-Timed Workflow Nets Is Undecidable
Tiplea, Ferucio Laurentiu
Macovei, Geanina Ionela
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2009, 39 (04): : 924 - 932
[27] Soundness-preserving reduction rules for reset workflow nets
Wynn, M. T.
Verbeek, H. M. W.
van der Aalst, W. M. P.
ter Hofstede, A. H. M.
Edmond, D.
INFORMATION SCIENCES, 2009, 179 (06) : 769 - 790
[28] A Model Checking Method of Soundness for Acyclic Workflow Nets Using the SPIN Model Checker
Yamaguchi, Shingo
Yamaguchi, Munenori
Tanaka, Minoru
INFORMATION-AN INTERNATIONAL INTERDISCIPLINARY JOURNAL, 2009, 12 (01): : 163 - 172
[29] Modeling and Analyzing Resource-Constrained Business Processes
Oliveira, Cesar
Lima, Ricardo
Andre, Thiago
Reijers, Hajo A.
2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2009), VOLS 1-9, 2009, : 2824 - +
[30] Soundness analysis of t-restricted interorganizational logical workflow nets
College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao 266510, China
不详
Inf. Technol. J., 2009, 6 (821-829): : 821 - 829

← 1 2 3 4 5 →