Peng Men, Zhenhua Duan, Bin Yu: Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery. ICATPN 2007: 362-380