An Automatic Modeling Method for Web Service Business Processes towards CPN Model Checking. - Tao Sun 002; Kangshuai Zuo; Wenjie Zhong (ISPA/BDCloud/SocialCom/SustainCom, 2022)