Xu, Dianxiang, and Ning Shen. 2014. “Effectiveness of Automated Function Testing With Petri Nets: A Series of Controlled Experiments”. SEKE, 211-16. Last updated on 07/19/2023
