Statewise: A Petri Net-Based Visual Editor for Specifying Robotic Systems
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.
Authors
- Pragathi Praveena (ORCID: https://orcid.org/0000-0002-8696-6265)
- Zhengqing Zhou (ORCID: https://orcid.org/0009-0009-6541-9535)
- Yuchen Jin (ORCID: https://orcid.org/0000-0002-3244-3047)
Institutions
- University of Wisconsin–Madison (US)
- John Brown University (US)
- Carnegie Mellon University (US)
Publication Details
- Journal
- Proceedings of the AAAI Symposium Series
- Published
- 2024-11-08
- DOI
- https://doi.org/10.1609/aaaiss.v4i1.31820
- Primary Topic
- Robotics and Automated Systems
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- National Science Foundation