(1)
Biao, W.; Ge, Q.-W. Test Input Data Generation for Choiceless Program Nets. ECTI-CIT Transactions 2019, 14, 37-45.