Polynomial Algorithms for Synthesizing Specific Classes of Optimal Block-Structured Processes

被引:1
|
作者
Badica, Costin [1 ]
Popa, Alexandru [2 ,3 ]
机构
[1] Univ Craiova, Dept Comp & Informat Technol, Craiova, Romania
[2] Univ Bucharest, Dept Comp Sci, Bucharest, Romania
[3] Natl Inst Res & Dev Informat, Bucharest, Romania
关键词
Block structured processes; Combinatorial optimisation; Algorithms;
D O I
10.1007/978-3-030-88081-1_25
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Synthesis of optimal business processes has practical applications in: manufacturing, scheduling, process mining, agent planning, and parallel computing. Block-structured models, in particular process trees, have certain advantages compared with other approaches regarding correctness and robustness. In this work we propose algorithms for the automated synthesis of optimal block-structured processes and then we perform a sound analysis of their correctness and complexity.
引用
收藏
页码:330 / 343
页数:14
相关论文
共 23 条
  • [1] Exact and approximation algorithms for synthesizing specific classes of optimal block-structured processes
    Badica, Costin
    Popa, Alexandru
    [J]. SIMULATION MODELLING PRACTICE AND THEORY, 2023, 127
  • [2] Block-structured fluid queues driven by QBD processes
    Li, QL
    Zhao, YQQ
    [J]. STOCHASTIC ANALYSIS AND APPLICATIONS, 2005, 23 (06) : 1087 - 1112
  • [3] Parameterized algorithms for block-structured integer programs with large entries
    Cslovjecsek, Jana
    Koutecky, Martin
    Lassota, Alexandra
    Pilipczuk, Michal
    Polak, Adam
    [J]. PROCEEDINGS OF THE 2024 ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, SODA, 2024, : 740 - 751
  • [4] Block-structured adaptive mesh refinement algorithms for Vlasov simulation
    Hittinger, J. A. F.
    Banks, J. W.
    [J]. JOURNAL OF COMPUTATIONAL PHYSICS, 2013, 241 : 118 - 140
  • [5] Advanced algorithms for computations on block-structured adaptively refined meshes
    Ray, J
    Kennedy, C
    Steensland, J
    Najm, H
    [J]. SciDAC 2005: Scientific Discovery Through Advanced Computing, 2005, 16 : 113 - 118
  • [6] A Simple Engine for the Execution and Analysis of Block-structured Business Processes
    Vasiliev, Nikolay V.
    Yashin, Alexander, I
    Dovzhikov, Sergei N.
    [J]. 2020 9TH MEDITERRANEAN CONFERENCE ON EMBEDDED COMPUTING (MECO), 2020, : 877 - 880
  • [7] Scalable parallel regridding algorithms for block-structured adaptive mesh refinement
    Luitjens, J.
    Berzins, M.
    [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2011, 23 (13): : 1522 - 1537
  • [8] FPT algorithms for a special block-structured integer program with applications in scheduling
    Chen, Hua
    Chen, Lin
    Zhang, Guochuan
    [J]. MATHEMATICAL PROGRAMMING, 2024,
  • [9] SIR-Type Epidemic Models as Block-Structured Markov Processes
    Claude Lefèvre
    Matthieu Simon
    [J]. Methodology and Computing in Applied Probability, 2020, 22 : 433 - 453
  • [10] SIR-Type Epidemic Models as Block-Structured Markov Processes
    Lefevre, Claude
    Simon, Matthieu
    [J]. METHODOLOGY AND COMPUTING IN APPLIED PROBABILITY, 2020, 22 (02) : 433 - 453