Praveena, Pragathi, Andrew Schoen, Michael Gleicher, David Porfirio, and Bilge Mutlu. 2024. “Petri Nets for the Iterative Development of Interactive Robotic Systems”. Proceedings of the AAAI Symposium Series 2 (1):526-31. https://doi.org/10.1609/aaaiss.v2i1.27724.