Statewise: A Petri Net-Based Visual Editor for Specifying Robotic Systems
Zejun Zhou 1 , Yuchen Jin 2 , Pragathi Praveena 3
1 Department of Computer Science, Brown University
2 Department of Computer Sciences, University of Wisconsin–Madison
3 The Robotics Institute, Carnegie Mellon University
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.
# petri-nets
# visual-editor
# robotic-systems
# system-specification
# modeling
# formal-methods
# robotics
# software-tools
# concurrent-systems
# verification
Not in series