Work

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

Year: 2024

Type: conference-paper

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.

Source: Proceedings of the AAAI Symposium Series

DOI: 10.1609/aaaiss.v4i1.31820

Authors: Zejun Zhou, Yuchen Jin, Pragathi Praveena

Institutions: Brown University, University of Wisconsin–Madison, Carnegie Mellon University

Language: English

Topic: Petri Nets in System Modeling

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

Funder: National Science Foundation

Award: NRI: INT: COLLAB: Program Verification and Synthesis for Collaborative Robots