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 条
  • [41] Priority Workflow Nets
    Tiplea, Ferucio Laurentiu
    Bocaneala, Corina
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (02): : 402 - 415
  • [42] An Assessment of Internet of Things Protocols for Resource-Constrained Applications
    Mun, Dae-Hyeok
    Minh Le Dinh
    Kwon, Young-Woo
    PROCEEDINGS 2016 IEEE 40TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS, VOL 1, 2016, : 555 - 560
  • [43] Research on task scheduling algorithm in resource-constrained environments
    Lu C.
    Gong J.
    Zhu L.
    Liu Q.
    Xi Tong Gong Cheng Yu Dian Zi Ji Shu/Systems Engineering and Electronics, 2021, 43 (12): : 3586 - 3593
  • [44] Optimization of Resource-Constrained Project Using Genetic Algorithm
    Ahmed, Sweilam
    Berlant, Arab
    Omar, Sawan
    Yasmeen, Essawy
    Osama, Hosny
    PROCEEDINGS OF THE CANADIAN SOCIETY FOR CIVIL ENGINEERING ANNUAL CONFERENCE, VOL 3, CSCE 2023, 2024, 497 : 481 - 492
  • [45] Modeling a Fuzzy Resource Allocation Mechanism based on Workflow Nets
    Jeske de Freitas, Joslaine Cristina
    Julia, Stephane
    de Rezende, Leiliane Pereira
    PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 2 (ICEIS), 2016, : 559 - 566
  • [46] Complexity metrics for Workflow nets
    Lassen, Kristian Bisgaard
    van der Aalst, Wil M. P.
    INFORMATION AND SOFTWARE TECHNOLOGY, 2009, 51 (03) : 610 - 626
  • [47] Compositional verification for workflow nets
    Jiao, Li
    Cheung, To-Yat
    JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 2006, 15 (04) : 551 - 570
  • [48] Fast Termination and Workflow Nets
    Hofman, Piotr
    Mazowiecki, Filip
    Offtermatt, Philip
    COMPUTER AIDED VERIFICATION, CAV 2023, PT I, 2023, 13964 : 132 - 155
  • [49] Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software
    de Ferro, Carlos Mao
    Mavridou, Anastasia
    Dille, Michael
    Martins, Francisco
    2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W, 2023, : 263 - 266
  • [50] Transparent Standby for Low-Power, Resource-Constrained Embedded Systems
    Sant'Anna, Francisco
    Sztajnberg, Alexandre
    de Moura, Ana Lucia
    Rodrigues, Noemi
    ACM SIGPLAN NOTICES, 2018, 53 (06) : 94 - 98
12345