Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387374368> ?p ?o ?g. }
- W4387374368 endingPage "102288" @default.
- W4387374368 startingPage "102288" @default.
- W4387374368 abstract "A recent direction in Business Process Management studied methodologies to control the execution of Business Processes under several sources of uncertainty in order to always get to the end by satisfying all constraints. Current approaches encode business processes into temporal constraint networks or timed game automata in order to exploit their related strategy synthesis algorithms. However, the proposed encodings can only synthesize single-strategies and fail to handle loops. To overcome these limits we propose an approach based on supervisory control. We consider structured business processes with resources, parallel and mutually exclusive branches, loops, and uncertainty. We provide an encoding into finite state automata and prove that their concurrent behavior models exactly all possible executions of the process. After that, we introduce tentative commitment constraints as a new class of constraints restricting the executions of a process. We define a tree decomposition of the process that plays a central role in modular supervisory control, and we prove that this modular approach is equivalent to the monolithic one. We provide an algorithm to compute the finest tree decomposition to reduce the computational effort of synthesizing supervisors." @default.
- W4387374368 created "2023-10-06" @default.
- W4387374368 creator A5087621059 @default.
- W4387374368 creator A5087985917 @default.
- W4387374368 date "2023-10-01" @default.
- W4387374368 modified "2023-10-12" @default.
- W4387374368 title "Supervisory control of business processes with resources, parallel and mutually exclusive branches, loops, and uncertainty" @default.
- W4387374368 cites W1796489698 @default.
- W4387374368 cites W1964889053 @default.
- W4387374368 cites W1973353540 @default.
- W4387374368 cites W1976484522 @default.
- W4387374368 cites W1979349468 @default.
- W4387374368 cites W1993886441 @default.
- W4387374368 cites W1998731563 @default.
- W4387374368 cites W2038953226 @default.
- W4387374368 cites W2048933344 @default.
- W4387374368 cites W2077538566 @default.
- W4387374368 cites W2095628649 @default.
- W4387374368 cites W2102651988 @default.
- W4387374368 cites W2125393216 @default.
- W4387374368 cites W2131967717 @default.
- W4387374368 cites W2154765153 @default.
- W4387374368 cites W2166602595 @default.
- W4387374368 cites W2530568764 @default.
- W4387374368 cites W2938826480 @default.
- W4387374368 cites W2964075550 @default.
- W4387374368 cites W2965757790 @default.
- W4387374368 doi "https://doi.org/10.1016/j.is.2023.102288" @default.
- W4387374368 hasPublicationYear "2023" @default.
- W4387374368 type Work @default.
- W4387374368 citedByCount "0" @default.
- W4387374368 crossrefType "journal-article" @default.
- W4387374368 hasAuthorship W4387374368A5087621059 @default.
- W4387374368 hasAuthorship W4387374368A5087985917 @default.
- W4387374368 hasBestOaLocation W43873743681 @default.
- W4387374368 hasConcept C101468663 @default.
- W4387374368 hasConcept C104317684 @default.
- W4387374368 hasConcept C112505250 @default.
- W4387374368 hasConcept C113174947 @default.
- W4387374368 hasConcept C120314980 @default.
- W4387374368 hasConcept C124681953 @default.
- W4387374368 hasConcept C125411270 @default.
- W4387374368 hasConcept C134306372 @default.
- W4387374368 hasConcept C144133560 @default.
- W4387374368 hasConcept C154945302 @default.
- W4387374368 hasConcept C162853370 @default.
- W4387374368 hasConcept C165696696 @default.
- W4387374368 hasConcept C174998907 @default.
- W4387374368 hasConcept C185592680 @default.
- W4387374368 hasConcept C18903297 @default.
- W4387374368 hasConcept C199360897 @default.
- W4387374368 hasConcept C2524010 @default.
- W4387374368 hasConcept C2775924081 @default.
- W4387374368 hasConcept C2776036281 @default.
- W4387374368 hasConcept C33923547 @default.
- W4387374368 hasConcept C38652104 @default.
- W4387374368 hasConcept C41008148 @default.
- W4387374368 hasConcept C55493867 @default.
- W4387374368 hasConcept C66746571 @default.
- W4387374368 hasConcept C80309976 @default.
- W4387374368 hasConcept C80444323 @default.
- W4387374368 hasConcept C85345410 @default.
- W4387374368 hasConcept C86803240 @default.
- W4387374368 hasConcept C92991967 @default.
- W4387374368 hasConcept C98045186 @default.
- W4387374368 hasConceptScore W4387374368C101468663 @default.
- W4387374368 hasConceptScore W4387374368C104317684 @default.
- W4387374368 hasConceptScore W4387374368C112505250 @default.
- W4387374368 hasConceptScore W4387374368C113174947 @default.
- W4387374368 hasConceptScore W4387374368C120314980 @default.
- W4387374368 hasConceptScore W4387374368C124681953 @default.
- W4387374368 hasConceptScore W4387374368C125411270 @default.
- W4387374368 hasConceptScore W4387374368C134306372 @default.
- W4387374368 hasConceptScore W4387374368C144133560 @default.
- W4387374368 hasConceptScore W4387374368C154945302 @default.
- W4387374368 hasConceptScore W4387374368C162853370 @default.
- W4387374368 hasConceptScore W4387374368C165696696 @default.
- W4387374368 hasConceptScore W4387374368C174998907 @default.
- W4387374368 hasConceptScore W4387374368C185592680 @default.
- W4387374368 hasConceptScore W4387374368C18903297 @default.
- W4387374368 hasConceptScore W4387374368C199360897 @default.
- W4387374368 hasConceptScore W4387374368C2524010 @default.
- W4387374368 hasConceptScore W4387374368C2775924081 @default.
- W4387374368 hasConceptScore W4387374368C2776036281 @default.
- W4387374368 hasConceptScore W4387374368C33923547 @default.
- W4387374368 hasConceptScore W4387374368C38652104 @default.
- W4387374368 hasConceptScore W4387374368C41008148 @default.
- W4387374368 hasConceptScore W4387374368C55493867 @default.
- W4387374368 hasConceptScore W4387374368C66746571 @default.
- W4387374368 hasConceptScore W4387374368C80309976 @default.
- W4387374368 hasConceptScore W4387374368C80444323 @default.
- W4387374368 hasConceptScore W4387374368C85345410 @default.
- W4387374368 hasConceptScore W4387374368C86803240 @default.
- W4387374368 hasConceptScore W4387374368C92991967 @default.
- W4387374368 hasConceptScore W4387374368C98045186 @default.
- W4387374368 hasLocation W43873743681 @default.
- W4387374368 hasOpenAccess W4387374368 @default.
- W4387374368 hasPrimaryLocation W43873743681 @default.