Statewise: A Petri Net-Based Visual Editor for Specifying Robotic Systems
Zejun Zhou1,Yuchen Jin2,Pragathi Praveena3
1Department of Computer Science, Brown University
2Department of Computer Sciences, University of Wisconsin–Madison
3The Robotics Institute, Carnegie Mellon University
0 min readPDF
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