Yu-Liang Chi, Ming-Hung Tsai, Chih-Wei Lee: A Petri-Net based Validator in Reliability of a Composite Service. EEE 2005: 450-453