. . . . . "I, P(GAP202/10/1188)" . "Simplifying Verification of Nested Workflows with Extra Constraints"@en . . "Simplifying Verification of Nested Workflows with Extra Constraints" . "St. Pete Beach, Florida" . . "California, USA" . "Simplifying Verification of Nested Workflows with Extra Constraints"@en . . "Simplifying Verification of Nested Workflows with Extra Constraints" . . "6"^^ . "RIV/00216208:11320/13:10195075!RIV14-GA0-11320___" . . . . . . "Proceedings of the Twenty-Sixth Florida Artificial Intelligence Research Society Conference (FLAIRS 2013)" . "Extra Constraints; Nested Workflows; Verification"@en . "RIV/00216208:11320/13:10195075" . "[F0E5897730BC]" . "AAAI Press" . . "2013-05-22+02:00"^^ . . "http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS13/paper/view/5833/6037" . "Workflow verification is an important aspect of workflow modeling where the verification task is to ensure that the workflow describes feasible processes. It has been shown that verifying nested workflows with extra precedence, causal, and temporal synchronization constraints is an NP-complete problem and a verification method based on constraint satisfaction has been proposed. This paper theoretically justifies the task-collapsing component of this method and provides examples of easy-to-verify constraints." . . "11320" . "1"^^ . "1"^^ . "105137" . . "Workflow verification is an important aspect of workflow modeling where the verification task is to ensure that the workflow describes feasible processes. It has been shown that verifying nested workflows with extra precedence, causal, and temporal synchronization constraints is an NP-complete problem and a verification method based on constraint satisfaction has been proposed. This paper theoretically justifies the task-collapsing component of this method and provides examples of easy-to-verify constraints."@en . "Bart\u00E1k, Roman" . "978-1-57735-605-9" .