PRAVEENA, Pragathi; SCHOEN, Andrew; GLEICHER, Michael; PORFIRIO, David; MUTLU, Bilge. Petri Nets for the Iterative Development of Interactive Robotic Systems. Proceedings of the AAAI Symposium Series, [S. l.], v. 2, n. 1, p. 526–531, 2024. DOI: 10.1609/aaaiss.v2i1.27724. Disponível em: https://ojs.aaai.org/index.php/AAAI-SS/article/view/27724. Acesso em: 13 may. 2026.