W. Biao and Q.-W. Ge, “Test Input Data Generation for Choiceless Program Nets”, ECTI-CIT Transactions, vol. 14, no. 1, pp. 37–45, Oct. 2019.