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