Incorrect initial state of FSM after conversion from PN
Bug #1436879 reported by
Danil Sokolov
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| Workcraft |
Fix Committed
|
Medium
|
Danil Sokolov | ||
Bug Description
To reproduce:
- Open the attached pn.work
- Choose Tools->
Expected behaviour:
- The sate with outgoing t1 even should be initial.
Observed behaviour:
- Sometimes (but not always) the initial state is incorrect .
Looks like the information about the initial state is lost during Fst to Fsm conversion. AbstractModelCo
Related branches
lp:~danilovesky/workcraft/trunk-bug-1439238
- Danil Sokolov: Approve
-
Diff: 214 lines (+69/-4)8 files modifiedFsmPlugin/src/org/workcraft/plugins/fsm/VisualFsm.java (+9/-0)
FsmPlugin/src/org/workcraft/plugins/fsm/VisualState.java (+1/-1)
FstPlugin/src/org/workcraft/plugins/fst/tools/FstToFsmConverter.java (+15/-0)
PetrifyPlugin/src/org/workcraft/plugins/petrify/PetrifyUtilitySettings.java (+24/-1)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tools/PetrifySynthesisTechnologyMapping.java (+13/-2)
WorkcraftCore/src/org/workcraft/gui/graph/tools/AbstractModelConverter.java (+1/-0)
WorkcraftCore/src/org/workcraft/gui/graph/tools/DefaultModelConverter.java (+4/-0)
WorkcraftCore/src/org/workcraft/gui/graph/tools/ModelConverter.java (+2/-0)
Revision history for this message
| Danil Sokolov (danilovesky) wrote | #1 |
| Changed in workcraft: | |
| assignee: | nobody → Danil Sokolov (danilovesky) |
| description: | updated |
| Changed in workcraft: | |
| status: | Confirmed → Fix Committed |
To post a comment you must log in.
