J Jiang, Z Huang, W Ma, Y Cao, AJ Jiang, AZ Huang… - Frontiers, 2018 - jzus.zju.edu.cn
… execution language (BPEL) based on information flow analysis. We introduce an … based
on a petri net for transformation and analysis. Building on the concept of petri net place-based …