Praveena, Pragathi, et al. “Petri Nets for the Iterative Development of Interactive Robotic Systems”. Proceedings of the AAAI Symposium Series, vol. 2, no. 1, Jan. 2024, pp. 526-31, doi:10.1609/aaaiss.v2i1.27724.