2015-04-01 14:33:18 |
Danil Sokolov |
description |
To reproduce:
- Open the attached pn.work
- Choose Tools->Convert->Finite State Machine
Expected behaviour:
- The sate with outgoing t1 even should be initial.
Observed behaviour:
- Sometimes (but not always) the initial state is incorrect . |
To reproduce:
- Open the attached pn.work
- Choose Tools->Convert->Finite State Machine
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. AbstractModelConverter is extended with postprocessing() method to set the initial state correctly. |
|