Matches in SemOpenAlex for { <https://semopenalex.org/work/W2892385377> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2892385377 endingPage "235" @default.
- W2892385377 startingPage "219" @default.
- W2892385377 abstract "The last decade has witnessed an increasing transformation in the design, engineering, and mining of processes, moving from a pure control-flow perspective to more integrated models where also data and decisions are explicitly considered. This calls for methods and techniques able to ascertain the correctness of such integrated models. Differently from previous approaches, which mainly focused on the local interplay between decisions and their corresponding outgoing branches, we introduce a holistic approach to verify the end-to-end soundness of a Petri net-based process model, enriched with case data and decisions. In addition, we present an effective, implemented technique that verifies soundness by translating the input net into a colored Petri net with bounded color sets, on which standard state space analysis techniques are subsequently applied. Experiments on real life illustrate the relevance and applicability in real settings." @default.
- W2892385377 created "2018-10-05" @default.
- W2892385377 creator A5029098105 @default.
- W2892385377 creator A5047795784 @default.
- W2892385377 creator A5072702493 @default.
- W2892385377 date "2018-01-01" @default.
- W2892385377 modified "2023-10-16" @default.
- W2892385377 title "A Holistic Approach for Soundness Verification of Decision-Aware Process Models" @default.
- W2892385377 cites W2029133737 @default.
- W2892385377 cites W2080593426 @default.
- W2892385377 cites W2122948231 @default.
- W2892385377 cites W2129466958 @default.
- W2892385377 cites W2137039452 @default.
- W2892385377 cites W2151665032 @default.
- W2892385377 cites W2169696634 @default.
- W2892385377 cites W2307776371 @default.
- W2892385377 cites W2328622721 @default.
- W2892385377 cites W2484598348 @default.
- W2892385377 cites W2741823613 @default.
- W2892385377 cites W2766754748 @default.
- W2892385377 cites W4233755518 @default.
- W2892385377 cites W4249484115 @default.
- W2892385377 doi "https://doi.org/10.1007/978-3-030-00847-5_17" @default.
- W2892385377 hasPublicationYear "2018" @default.
- W2892385377 type Work @default.
- W2892385377 sameAs 2892385377 @default.
- W2892385377 citedByCount "25" @default.
- W2892385377 countsByYear W28923853772019 @default.
- W2892385377 countsByYear W28923853772020 @default.
- W2892385377 countsByYear W28923853772021 @default.
- W2892385377 countsByYear W28923853772022 @default.
- W2892385377 countsByYear W28923853772023 @default.
- W2892385377 crossrefType "book-chapter" @default.
- W2892385377 hasAuthorship W2892385377A5029098105 @default.
- W2892385377 hasAuthorship W2892385377A5047795784 @default.
- W2892385377 hasAuthorship W2892385377A5072702493 @default.
- W2892385377 hasConcept C104317684 @default.
- W2892385377 hasConcept C115903868 @default.
- W2892385377 hasConcept C124101348 @default.
- W2892385377 hasConcept C154945302 @default.
- W2892385377 hasConcept C158154518 @default.
- W2892385377 hasConcept C17744445 @default.
- W2892385377 hasConcept C185592680 @default.
- W2892385377 hasConcept C197551870 @default.
- W2892385377 hasConcept C199360897 @default.
- W2892385377 hasConcept C199539241 @default.
- W2892385377 hasConcept C204241405 @default.
- W2892385377 hasConcept C38677869 @default.
- W2892385377 hasConcept C39920170 @default.
- W2892385377 hasConcept C41008148 @default.
- W2892385377 hasConcept C489000 @default.
- W2892385377 hasConcept C55439883 @default.
- W2892385377 hasConcept C55493867 @default.
- W2892385377 hasConcept C77088390 @default.
- W2892385377 hasConcept C80444323 @default.
- W2892385377 hasConcept C98045186 @default.
- W2892385377 hasConceptScore W2892385377C104317684 @default.
- W2892385377 hasConceptScore W2892385377C115903868 @default.
- W2892385377 hasConceptScore W2892385377C124101348 @default.
- W2892385377 hasConceptScore W2892385377C154945302 @default.
- W2892385377 hasConceptScore W2892385377C158154518 @default.
- W2892385377 hasConceptScore W2892385377C17744445 @default.
- W2892385377 hasConceptScore W2892385377C185592680 @default.
- W2892385377 hasConceptScore W2892385377C197551870 @default.
- W2892385377 hasConceptScore W2892385377C199360897 @default.
- W2892385377 hasConceptScore W2892385377C199539241 @default.
- W2892385377 hasConceptScore W2892385377C204241405 @default.
- W2892385377 hasConceptScore W2892385377C38677869 @default.
- W2892385377 hasConceptScore W2892385377C39920170 @default.
- W2892385377 hasConceptScore W2892385377C41008148 @default.
- W2892385377 hasConceptScore W2892385377C489000 @default.
- W2892385377 hasConceptScore W2892385377C55439883 @default.
- W2892385377 hasConceptScore W2892385377C55493867 @default.
- W2892385377 hasConceptScore W2892385377C77088390 @default.
- W2892385377 hasConceptScore W2892385377C80444323 @default.
- W2892385377 hasConceptScore W2892385377C98045186 @default.
- W2892385377 hasLocation W28923853771 @default.
- W2892385377 hasOpenAccess W2892385377 @default.
- W2892385377 hasPrimaryLocation W28923853771 @default.
- W2892385377 hasRelatedWork W1502896170 @default.
- W2892385377 hasRelatedWork W2293352129 @default.
- W2892385377 hasRelatedWork W2296663577 @default.
- W2892385377 hasRelatedWork W2338733134 @default.
- W2892385377 hasRelatedWork W2388226330 @default.
- W2892385377 hasRelatedWork W2606211644 @default.
- W2892385377 hasRelatedWork W2732998890 @default.
- W2892385377 hasRelatedWork W3043182029 @default.
- W2892385377 hasRelatedWork W4237766892 @default.
- W2892385377 hasRelatedWork W4312379357 @default.
- W2892385377 isParatext "false" @default.
- W2892385377 isRetracted "false" @default.
- W2892385377 magId "2892385377" @default.
- W2892385377 workType "book-chapter" @default.