Matches in SemOpenAlex for { <https://semopenalex.org/work/W2142249327> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2142249327 endingPage "932" @default.
- W2142249327 startingPage "924" @default.
- W2142249327 abstract "The main purpose of workflow management systems is to support the definition, execution, and control of workflow processes. With or without time constraints, workflow management systems should satisfy certain correctness properties. The most important and widely used is the soundness property . In this paper, we focus on the soundness property for two classes of Petri-net-based workflow management systems with time constraints, <i xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>S</i> - and <i xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>A</i> - <i xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>timed</i> <i xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>workflow</i> <i xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>nets</i> (WNs), and we show that this property is undecidable for them. The proof technique, based on the undecidability of the halting problem for deterministic counter machines, shows first that the reachability, coverability, boundedness, and quasi-liveness problems are undecidable for these two classes of timed WNs, and then, as a consequence, the undecidability of the soundness problem is derived." @default.
- W2142249327 created "2016-06-24" @default.
- W2142249327 creator A5015622908 @default.
- W2142249327 creator A5033062650 @default.
- W2142249327 date "2009-07-01" @default.
- W2142249327 modified "2023-10-14" @default.
- W2142249327 title "Soundness for $S$- and $A$-Timed Workflow Nets Is Undecidable" @default.
- W2142249327 cites W1516649613 @default.
- W2142249327 cites W1541004980 @default.
- W2142249327 cites W1897277602 @default.
- W2142249327 cites W2002076098 @default.
- W2142249327 cites W2017349948 @default.
- W2142249327 cites W2042801853 @default.
- W2142249327 cites W2050890381 @default.
- W2142249327 cites W2061970672 @default.
- W2142249327 cites W2132056455 @default.
- W2142249327 cites W2133237146 @default.
- W2142249327 cites W2135235051 @default.
- W2142249327 cites W2137543433 @default.
- W2142249327 cites W2151612633 @default.
- W2142249327 cites W2151786168 @default.
- W2142249327 cites W2271014378 @default.
- W2142249327 cites W2311040138 @default.
- W2142249327 cites W2484908051 @default.
- W2142249327 doi "https://doi.org/10.1109/tsmca.2008.2010304" @default.
- W2142249327 hasPublicationYear "2009" @default.
- W2142249327 type Work @default.
- W2142249327 sameAs 2142249327 @default.
- W2142249327 citedByCount "12" @default.
- W2142249327 countsByYear W21422493272012 @default.
- W2142249327 countsByYear W21422493272013 @default.
- W2142249327 countsByYear W21422493272014 @default.
- W2142249327 countsByYear W21422493272015 @default.
- W2142249327 countsByYear W21422493272016 @default.
- W2142249327 crossrefType "journal-article" @default.
- W2142249327 hasAuthorship W2142249327A5015622908 @default.
- W2142249327 hasAuthorship W2142249327A5033062650 @default.
- W2142249327 hasConcept C11413529 @default.
- W2142249327 hasConcept C136643341 @default.
- W2142249327 hasConcept C153269930 @default.
- W2142249327 hasConcept C15569618 @default.
- W2142249327 hasConcept C177212765 @default.
- W2142249327 hasConcept C192034797 @default.
- W2142249327 hasConcept C199360897 @default.
- W2142249327 hasConcept C38677869 @default.
- W2142249327 hasConcept C39920170 @default.
- W2142249327 hasConcept C41008148 @default.
- W2142249327 hasConcept C55439883 @default.
- W2142249327 hasConcept C77088390 @default.
- W2142249327 hasConcept C80444323 @default.
- W2142249327 hasConceptScore W2142249327C11413529 @default.
- W2142249327 hasConceptScore W2142249327C136643341 @default.
- W2142249327 hasConceptScore W2142249327C153269930 @default.
- W2142249327 hasConceptScore W2142249327C15569618 @default.
- W2142249327 hasConceptScore W2142249327C177212765 @default.
- W2142249327 hasConceptScore W2142249327C192034797 @default.
- W2142249327 hasConceptScore W2142249327C199360897 @default.
- W2142249327 hasConceptScore W2142249327C38677869 @default.
- W2142249327 hasConceptScore W2142249327C39920170 @default.
- W2142249327 hasConceptScore W2142249327C41008148 @default.
- W2142249327 hasConceptScore W2142249327C55439883 @default.
- W2142249327 hasConceptScore W2142249327C77088390 @default.
- W2142249327 hasConceptScore W2142249327C80444323 @default.
- W2142249327 hasIssue "4" @default.
- W2142249327 hasLocation W21422493271 @default.
- W2142249327 hasOpenAccess W2142249327 @default.
- W2142249327 hasPrimaryLocation W21422493271 @default.
- W2142249327 hasRelatedWork W1520044067 @default.
- W2142249327 hasRelatedWork W1851153456 @default.
- W2142249327 hasRelatedWork W2061769887 @default.
- W2142249327 hasRelatedWork W2138447175 @default.
- W2142249327 hasRelatedWork W2142249327 @default.
- W2142249327 hasRelatedWork W2400482296 @default.
- W2142249327 hasRelatedWork W2807821111 @default.
- W2142249327 hasRelatedWork W2961758588 @default.
- W2142249327 hasRelatedWork W3001378189 @default.
- W2142249327 hasRelatedWork W36026395 @default.
- W2142249327 hasVolume "39" @default.
- W2142249327 isParatext "false" @default.
- W2142249327 isRetracted "false" @default.
- W2142249327 magId "2142249327" @default.
- W2142249327 workType "article" @default.