Petri Nets for the Iterative Development of Interactive Robotic Systems

Authors

  • Pragathi Praveena Department of Computer Sciences, University of Wisconsin-Madison
  • Andrew Schoen Department of Computer Sciences, University of Wisconsin-Madison
  • Michael Gleicher Department of Computer Sciences, University of Wisconsin-Madison
  • David Porfirio NRC Postdoctoral Research Associate, U.S. Naval Research Laboratory
  • Bilge Mutlu Department of Computer Sciences, University of Wisconsin-Madison

DOI:

https://doi.org/10.1609/aaaiss.v2i1.27724

Keywords:

Robot

Abstract

We argue for the use of Petri nets as a modeling language for the iterative development process of interactive robotic systems. Petri nets, particularly Timed Colored Petri nets (TCPNs), have the potential to unify various phases of the development process-design, specification, simulation, validation, implementation, and deployment. We additionally discuss future directions for creating a domain-specific variant of TCPNs tailored specifically for HRI systems development.
AAAI Fall Symposium 2023 Proceedings Cover

Downloads

Published

2024-01-22

How to Cite

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

Issue

Vol. 2 No. 1: Proceedings of the 2023 AAAI Fall Symposia

Section

Unifying Representations for Robot Application Development