Praveena, P., Schoen, A., Gleicher, M., Porfirio, D., & Mutlu, B. (2024). Petri Nets for the Iterative Development of Interactive Robotic Systems. Proceedings of the AAAI Symposium Series, 2(1), 526–531. https://doi.org/10.1609/aaaiss.v2i1.27724