Convertibility and Conversion Algorithm of Well-Structured Workflow Net to Process Tree | IEEE Conference Publication | IEEE Xplore