Return to Article Details Statewise: A Petri Net-Based Visual Editor for Specifying Robotic Systems Download Download PDF