Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023459338> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2023459338 abstract "Soundness is a criterion of correctness of workflow nets (WF-nets for short). For a subclass of WF-nets, called FC WF-nets, soundness can be decided in polynomial time. A WF-net is sound iff its short-circuited net is live and bounded. If a given WF-net is non-sound, we first must investigate the cause of non-soundness, i.e. Is the short-circuited net non-live and/or non-bounded? In this paper, we first proved that for the short-circuited nets of acyclic FC WF-nets, the liveness problem is co-NP-complete. The proof uses polynomial time reducing from 3-CNF-SAT. Next, we proposed a sufficient condition on the problem. The condition makes use of a structure, called PT-handle, and can be checked in polynomial time. Next, we illustrated the proposed condition with an example. Then, we proposed an algorithm deciding the condition in polynomial time. We also show an example that the proposed method contributes for modifying a given non-sound WF-nets." @default.
- W2023459338 created "2016-06-24" @default.
- W2023459338 creator A5041793220 @default.
- W2023459338 creator A5063895636 @default.
- W2023459338 date "2014-12-01" @default.
- W2023459338 modified "2023-09-24" @default.
- W2023459338 title "On Liveness of Non-sound Acyclic Free Choice Workflow Nets" @default.
- W2023459338 cites W1551214605 @default.
- W2023459338 cites W1821930315 @default.
- W2023459338 cites W1985795643 @default.
- W2023459338 cites W1996109622 @default.
- W2023459338 cites W1996297578 @default.
- W2023459338 cites W2083567135 @default.
- W2023459338 cites W2162868766 @default.
- W2023459338 cites W2171622895 @default.
- W2023459338 cites W2544464417 @default.
- W2023459338 doi "https://doi.org/10.1109/candar.2014.113" @default.
- W2023459338 hasPublicationYear "2014" @default.
- W2023459338 type Work @default.
- W2023459338 sameAs 2023459338 @default.
- W2023459338 citedByCount "1" @default.
- W2023459338 countsByYear W20234593382020 @default.
- W2023459338 crossrefType "proceedings-article" @default.
- W2023459338 hasAuthorship W2023459338A5041793220 @default.
- W2023459338 hasAuthorship W2023459338A5063895636 @default.
- W2023459338 hasConcept C11413529 @default.
- W2023459338 hasConcept C118615104 @default.
- W2023459338 hasConcept C134306372 @default.
- W2023459338 hasConcept C14166107 @default.
- W2023459338 hasConcept C15569618 @default.
- W2023459338 hasConcept C199360897 @default.
- W2023459338 hasConcept C2524010 @default.
- W2023459338 hasConcept C311688 @default.
- W2023459338 hasConcept C33923547 @default.
- W2023459338 hasConcept C34388435 @default.
- W2023459338 hasConcept C38677869 @default.
- W2023459338 hasConcept C39920170 @default.
- W2023459338 hasConcept C41008148 @default.
- W2023459338 hasConcept C55439883 @default.
- W2023459338 hasConcept C80444323 @default.
- W2023459338 hasConcept C90119067 @default.
- W2023459338 hasConceptScore W2023459338C11413529 @default.
- W2023459338 hasConceptScore W2023459338C118615104 @default.
- W2023459338 hasConceptScore W2023459338C134306372 @default.
- W2023459338 hasConceptScore W2023459338C14166107 @default.
- W2023459338 hasConceptScore W2023459338C15569618 @default.
- W2023459338 hasConceptScore W2023459338C199360897 @default.
- W2023459338 hasConceptScore W2023459338C2524010 @default.
- W2023459338 hasConceptScore W2023459338C311688 @default.
- W2023459338 hasConceptScore W2023459338C33923547 @default.
- W2023459338 hasConceptScore W2023459338C34388435 @default.
- W2023459338 hasConceptScore W2023459338C38677869 @default.
- W2023459338 hasConceptScore W2023459338C39920170 @default.
- W2023459338 hasConceptScore W2023459338C41008148 @default.
- W2023459338 hasConceptScore W2023459338C55439883 @default.
- W2023459338 hasConceptScore W2023459338C80444323 @default.
- W2023459338 hasConceptScore W2023459338C90119067 @default.
- W2023459338 hasLocation W20234593381 @default.
- W2023459338 hasOpenAccess W2023459338 @default.
- W2023459338 hasPrimaryLocation W20234593381 @default.
- W2023459338 hasRelatedWork W175714733 @default.
- W2023459338 hasRelatedWork W2023459338 @default.
- W2023459338 hasRelatedWork W2037887795 @default.
- W2023459338 hasRelatedWork W2393243091 @default.
- W2023459338 hasRelatedWork W2567061750 @default.
- W2023459338 hasRelatedWork W2747108756 @default.
- W2023459338 hasRelatedWork W2921100251 @default.
- W2023459338 hasRelatedWork W3001378189 @default.
- W2023459338 hasRelatedWork W3120101625 @default.
- W2023459338 hasRelatedWork W936559845 @default.
- W2023459338 isParatext "false" @default.
- W2023459338 isRetracted "false" @default.
- W2023459338 magId "2023459338" @default.
- W2023459338 workType "article" @default.