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 条
  • [1] Soundness for Resource-Constrained Workflow Nets Is Decidable
    Sidorova, Natalia
    Stahl, Christian
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (03): : 724 - 729
  • [2] Dynamic Soundness in Resource-Constrained Workflow Nets
    Martos-Salgado, Maria
    Rosa-Velardo, Fernando
    [J]. FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, 2011, 6722 : 259 - 273
  • [3] Soundness for resource-constrained workflow nets is decidable
    Sidorova, Natalia
    Stahl, Christian
    [J]. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2013, 43 (03) : 724 - 729
  • [4] Safety and Soundness for Priced Resource-Constrained Workflow Nets
    Martos-Salgado, Maria
    Rosa-Velardo, Fernando
    [J]. FUNDAMENTA INFORMATICAE, 2014, 131 (01) : 55 - 80
  • [5] Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair
    Ramezani, Elham
    Sidorova, Natalia
    Stahl, Christian
    [J]. FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2013, 2013, 8161 : 150 - 167
  • [6] Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets
    Tiplea, Ferucio Laurentiu
    Bocaneala, Corina
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2012, 42 (01): : 238 - 249
  • [7] Resource-constrained workflow nets
    van Hee, Kees
    Sidorova, Natalia
    Voorhoeve, Marc
    [J]. FUNDAMENTA INFORMATICAE, 2006, 71 (2-3) : 243 - 257
  • [8] Fuzzy Resource-Constrained Time Workflow Nets
    Jeske de Freitas, Joslaine Cristina
    Julia, Stephane
    [J]. INFORMATION TECHNOLOGY: NEW GENERATIONS, 2016, 448 : 543 - 553
  • [9] Resource-constrained workflow modeling
    Wang, Jiacun
    Tepfenhart, William
    Rosca, Daniela
    Tsai, Anni
    [J]. TASE 2007: FIRST JOINT IEEE/IFIP SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2007, : 171 - +
  • [10] Soundness of reset workflow nets
    Blondin, Michael
    Finkel, Alain
    Hofman, Piotr
    Mazowiecki, Filip
    Offtermatt, Philip
    [J]. PROCEEDINGS OF THE 39TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS 2024, 2024,
12345