Biao, W., and Q.-W. Ge. “Test Input Data Generation for Choiceless Program Nets”. ECTI Transactions on Computer and Information Technology (ECTI-CIT), vol. 14, no. 1, Oct. 2019, pp. 37-45, doi:10.37936/ecti-cit.2020141.197859.