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
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (03): : 724 - 729
  • [2] Resource-constrained workflow nets
    van Hee, Kees
    Sidorova, Natalia
    Voorhoeve, Marc
    FUNDAMENTA INFORMATICAE, 2006, 71 (2-3) : 243 - 257
  • [3] Soundness for resource-constrained workflow nets is decidable
    Sidorova, Natalia
    Stahl, Christian
    IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2013, 43 (03) : 724 - 729
  • [4] Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair
    Ramezani, Elham
    Sidorova, Natalia
    Stahl, Christian
    FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2013, 2013, 8161 : 150 - 167
  • [5] Fuzzy Resource-Constrained Time Workflow Nets
    Jeske de Freitas, Joslaine Cristina
    Julia, Stephane
    INFORMATION TECHNOLOGY: NEW GENERATIONS, 2016, 448 : 543 - 553
  • [6] Workflow Nets With Tables and Their Soundness
    Tao, Xiaoyan
    Liu, Guanjun
    Yang, Bo
    Yan, Chungang
    Jiang, Changjun
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2020, 16 (03) : 1503 - 1515
  • [7] Soundness of Workflow Nets with Reset Arcs
    van der Aalst, Wil M. P.
    van Hee, Kees M.
    ter Hofstede, Arthur H. M.
    Sidorova, Natalia
    Verbeek, H. M. W.
    Voorhoeve, Marc
    Wynn, Moe T.
    TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY III, 2009, 5800 : 50 - +
  • [8] Generalised soundness of workflow nets is decidable
    van Hee, K
    Sidorova, N
    Voorhoeve, M
    APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, 2004, 3099 : 197 - 215
  • [9] Verifying generalized soundness of workflow nets
    van Hee, Kees
    Oanea, Olivia
    Sidorova, Natalia
    Voorhoeve, Marc
    PERSPECTIVES OF SYSTEMS INFORMATICS, 2007, 4378 : 235 - +
  • [10] Soundness and separability of workflow nets in the stepwise refinement approach
    van Hee, K
    Sidorova, N
    Voorhoeve, M
    APPLICATIONS AND THEORY OF PETRI NETS 2003, PROCEEDINGS, 2003, 2679 : 337 - 356
12345