Publication at Faculty of Mathematics and Physics |
2012
Abstract
A workflow is process description based on activities related by causal and temporal relations. The paper describes verification of hierarcical workflows based on constraint satisfaction.