Biao, Wu, and Qi-Wei Ge. “Test Input Data Generation for Choiceless Program Nets”. ECTI Transactions on Computer and Information Technology (ECTI-CIT) 14, no. 1 (October 26, 2019): 37–45. Accessed April 25, 2024. https://ph01.tci-thaijo.org/index.php/ecticit/article/view/197859.