Finite State Machine plugin
Implement a Finite State Machine plugin to capture, edit and simulate FSMs.
Blueprint information
- Status:
- Complete
- Approver:
- None
- Priority:
- High
- Drafter:
- Danil Sokolov
- Direction:
- Needs approval
- Assignee:
- Danil Sokolov
- Definition:
- Approved
- Series goal:
- None
- Implementation:
-
Implemented
- Milestone target:
-
3.0.3
- Started by
- Danil Sokolov
- Completed by
- Danil Sokolov
Whiteboard
Work Items
Work items:
FSM motel with States (nodes) and Events (connections): DONE
Add labels (symbols) to the FSM connection (events): DONE
Handling of the initial state on node removal and property change: DONE
Converter of FSMs into Petri nets: DONE
Simulator based on underlying Petri net: DONE
Translator for Petri net transition references into FSM event symbols: DONE
Multiple events between states: DONE
Rename Terminal state to Final: DONE
Initial and Final states can coincide: DONE
Converter from Petri net reachability graph to FSM: DONE
Import form .g file to FSM: DONE
Verification for reachability of deadlock state (a state without outgoing arcs) including/excluding final state: DONE
Verification for unreachable states (highlight): DONE
Verification or determinism (no epsilon, no states with 2 outgoing arcs with the same symbol): DONE
