JiDong Ge, Hao Hu, Jian Lu. Invariant Analysis for the Task Refinement of Workflow Nets. In 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November - 1 December 2006, Sydney, Aus. pages 209, IEEE Computer Society, 2006. [doi]
Abstract is missing.