Matches in SemOpenAlex for { <https://semopenalex.org/work/W2149406008> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2149406008 endingPage "552" @default.
- W2149406008 startingPage "535" @default.
- W2149406008 abstract "At the CAiSE conference in Heidelberg in 1999, Wasim Sadiq and Maria Orlowska presented an algorithm to verify workflow graphs []. The algorithm uses a set of reduction rules to detect structural conflicts. This paper shows that the set of reduction rules presented in [] is not complete and proposes an alternative algorithm. The algorithm translates workflow graphs into so-called WF-nets. WF-nets are a class of Petri nets tailored towards workflow analysis. As a result, Petri-net theory and tools can be used to verify workflow graphs. In particular, our workflow verification tool Woflan [] can be used to detect design errors. It is shown that the absence of structural conflicts, i.e., deadlocks and lack of synchronization, conforms to soundness of the corresponding WF-net []. In contrast to the algorithm presented in [], the algorithm presented in this paper is complete. Moreover, the complexity of this alternative algorithm is given." @default.
- W2149406008 created "2016-06-24" @default.
- W2149406008 creator A5069762894 @default.
- W2149406008 creator A5071443037 @default.
- W2149406008 creator A5080624148 @default.
- W2149406008 date "2002-01-01" @default.
- W2149406008 modified "2023-10-18" @default.
- W2149406008 title "An Alternative Way to Analyze Workflow Graphs" @default.
- W2149406008 cites W1484092460 @default.
- W2149406008 cites W1551214605 @default.
- W2149406008 cites W1561027652 @default.
- W2149406008 cites W1570265525 @default.
- W2149406008 cites W1571571632 @default.
- W2149406008 cites W1604634792 @default.
- W2149406008 cites W1895692215 @default.
- W2149406008 cites W1996109622 @default.
- W2149406008 cites W1999970959 @default.
- W2149406008 cites W2019987175 @default.
- W2149406008 cites W2057339615 @default.
- W2149406008 cites W2127300475 @default.
- W2149406008 cites W2129466958 @default.
- W2149406008 cites W2153253529 @default.
- W2149406008 cites W2162868766 @default.
- W2149406008 cites W2630484838 @default.
- W2149406008 doi "https://doi.org/10.1007/3-540-47961-9_37" @default.
- W2149406008 hasPublicationYear "2002" @default.
- W2149406008 type Work @default.
- W2149406008 sameAs 2149406008 @default.
- W2149406008 citedByCount "117" @default.
- W2149406008 countsByYear W21494060082012 @default.
- W2149406008 countsByYear W21494060082013 @default.
- W2149406008 countsByYear W21494060082014 @default.
- W2149406008 countsByYear W21494060082015 @default.
- W2149406008 countsByYear W21494060082016 @default.
- W2149406008 countsByYear W21494060082017 @default.
- W2149406008 countsByYear W21494060082018 @default.
- W2149406008 countsByYear W21494060082020 @default.
- W2149406008 countsByYear W21494060082021 @default.
- W2149406008 countsByYear W21494060082022 @default.
- W2149406008 countsByYear W21494060082023 @default.
- W2149406008 crossrefType "book-chapter" @default.
- W2149406008 hasAuthorship W2149406008A5069762894 @default.
- W2149406008 hasAuthorship W2149406008A5071443037 @default.
- W2149406008 hasAuthorship W2149406008A5080624148 @default.
- W2149406008 hasBestOaLocation W21494060081 @default.
- W2149406008 hasConcept C111335779 @default.
- W2149406008 hasConcept C11413529 @default.
- W2149406008 hasConcept C124101348 @default.
- W2149406008 hasConcept C154945302 @default.
- W2149406008 hasConcept C177212765 @default.
- W2149406008 hasConcept C177264268 @default.
- W2149406008 hasConcept C199360897 @default.
- W2149406008 hasConcept C2524010 @default.
- W2149406008 hasConcept C2777212361 @default.
- W2149406008 hasConcept C33923547 @default.
- W2149406008 hasConcept C38677869 @default.
- W2149406008 hasConcept C39920170 @default.
- W2149406008 hasConcept C41008148 @default.
- W2149406008 hasConcept C77088390 @default.
- W2149406008 hasConcept C80444323 @default.
- W2149406008 hasConceptScore W2149406008C111335779 @default.
- W2149406008 hasConceptScore W2149406008C11413529 @default.
- W2149406008 hasConceptScore W2149406008C124101348 @default.
- W2149406008 hasConceptScore W2149406008C154945302 @default.
- W2149406008 hasConceptScore W2149406008C177212765 @default.
- W2149406008 hasConceptScore W2149406008C177264268 @default.
- W2149406008 hasConceptScore W2149406008C199360897 @default.
- W2149406008 hasConceptScore W2149406008C2524010 @default.
- W2149406008 hasConceptScore W2149406008C2777212361 @default.
- W2149406008 hasConceptScore W2149406008C33923547 @default.
- W2149406008 hasConceptScore W2149406008C38677869 @default.
- W2149406008 hasConceptScore W2149406008C39920170 @default.
- W2149406008 hasConceptScore W2149406008C41008148 @default.
- W2149406008 hasConceptScore W2149406008C77088390 @default.
- W2149406008 hasConceptScore W2149406008C80444323 @default.
- W2149406008 hasLocation W21494060081 @default.
- W2149406008 hasOpenAccess W2149406008 @default.
- W2149406008 hasPrimaryLocation W21494060081 @default.
- W2149406008 hasRelatedWork W1697040782 @default.
- W2149406008 hasRelatedWork W1869970743 @default.
- W2149406008 hasRelatedWork W1994613188 @default.
- W2149406008 hasRelatedWork W2003082482 @default.
- W2149406008 hasRelatedWork W2128076342 @default.
- W2149406008 hasRelatedWork W2279756052 @default.
- W2149406008 hasRelatedWork W2373854184 @default.
- W2149406008 hasRelatedWork W2380940801 @default.
- W2149406008 hasRelatedWork W2388226330 @default.
- W2149406008 hasRelatedWork W2571306677 @default.
- W2149406008 isParatext "false" @default.
- W2149406008 isRetracted "false" @default.
- W2149406008 magId "2149406008" @default.
- W2149406008 workType "book-chapter" @default.