Praveena, P. et al. 2024. Petri Nets for the Iterative Development of Interactive Robotic Systems. Proceedings of the AAAI Symposium Series. 2, 1 (Jan. 2024), 526–531. DOI:https://doi.org/10.1609/aaaiss.v2i1.27724.