Statewise: A Petri Net-Based Visual Editor for Specifying Robotic Systems

Authors

  • Zejun Zhou Department of Computer Science, Brown University
  • Yuchen Jin Department of Computer Sciences, University of Wisconsin-Madison
  • Pragathi Praveena The Robotics Institute, Carnegie Mellon University

DOI:

https://doi.org/10.1609/aaaiss.v4i1.31820

Abstract

We present Statewise, a visual editor designed to enable developers to model and simulate complex systems using colored Petri nets in an intuitive, graphical way. Utilizing Statewise, we explore two use cases to demonstrate its capabilities. We also discuss potential enhancements to further extend its applicability in more complex scenarios.

Downloads

Published

2024-11-08

How to Cite

Zhou, Z., Jin, Y., & Praveena, P. (2024). Statewise: A Petri Net-Based Visual Editor for Specifying Robotic Systems. Proceedings of the AAAI Symposium Series, 4(1), 380–386. https://doi.org/10.1609/aaaiss.v4i1.31820

Issue

Vol. 4 No. 1: Proceedings of the 2024 AAAI Fall Symposia

Section

Unifying Representations for Robot Application Development - Research Papers