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 条
  • [31] Qualitative Analysis of WorkFlow nets using Linear Logic: Soundness Verification
    Soares Passos, Ligia Maria
    Julia, Stephane
    2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2009), VOLS 1-9, 2009, : 2843 - 2847
  • [32] Qualitative Analysis of Interorganizational WorkFlow nets using Linear Logic: Soundness Verification
    Soares Passos, Ligia Maria
    Julia, Stephane
    2013 IEEE 25TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2013, : 667 - 673
  • [33] Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics
    Mateo, Jose Antonio
    Srba, Jiri
    Sorensen, Mathias Grund
    FUNDAMENTA INFORMATICAE, 2015, 140 (01) : 89 - 121
  • [34] Quantitative Analysis of Resource-Constrained Business Processes
    Oliveira, Cesar Augusto L.
    Lima, Ricardo Massa F.
    Reijers, Hajo A.
    Ribeiro, Joel Tiago S.
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2012, 42 (03): : 669 - 684
  • [35] Co-NP-Hardness of the Soundness Problem for Asymmetric-Choice Workflow Nets
    Liu, Guanjun
    Jiang, Changjun
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2015, 45 (08): : 1201 - 1204
  • [36] Resource-Oriented Timed Workflow Nets and Simulation Tool Design
    Hu, Yuansi
    Wang, Jiacun
    Liu, Guanjun
    2021 INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SOCIAL INTELLIGENCE (ICCSI), 2021,
  • [37] PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets
    Liu, Guanjun
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY (PETRI NETS 2020), 2020, 12152 : 196 - 216
  • [38] Key Update Assistant for Resource-Constrained Networks
    Yuksel, Ender
    Nielson, Hanne Riis
    Nielson, Flemming
    2012 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), 2012, : 75 - 80
  • [39] Workflow model compositions preserving relaxed soundness
    Siegeris, Juliane
    Zimmermann, Armin
    BUSINESS PROCESS MANAGEMENT, PROCEEDINGS, 2006, 4102 : 177 - 192
  • [40] Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible
    Sidorova, Natalia
    Stahl, Christian
    Trcka, Nikola
    INFORMATION SYSTEMS, 2011, 36 (07) : 1026 - 1043
12345