fsmviewer.fsm

实现简易4层电梯控制核心模块

define_transition doorclose down {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = -----1----01-10010}
define_transition doorclose down {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = -------000-1-01-00}
define_transition doorclose down {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = --------0001-01-00}
define_transition doorclose down {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = -------0-010-01-00}
define_transition doorclose down {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = -------000-1-00010}
define_transition doorclose down {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = --------0001-00010}
define_transition doorclose down {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = -------0-010-00010}
define_transition doorclose down {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = 10--1-1--0000--10-}
define_transition doorclose down {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = 10--01---0000--10-}
define_transition doorclose down {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = 10--1-1--0000-1-0-}
define_transition doorclose down {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = 10--01---0000-1-0-}
define_transition doorclose down {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = 10--1-1--0000-001-}
define_transition doorclose down {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = 10--01---0000-001-}
define_transition up up {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = --10----1---------}
define_transition up up {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = --101--1----------}
define_transition doorclose up {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = --------1--1-0-100}
define_transition doorclose up {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = --------1--1-01-00}
define_transition doorclose up {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = ---------1000--100}
define_transition doorclose up {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = -------1--10-0-100}
define_transition doorclose up {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = --------1--1-00010}
define_transition doorclose up {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = ---------1000-1-00}
define_transition doorclose up {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = -------1--10-01-00}
define_transition doorclose up {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = -----00----101-100}
define_transition doorclose up {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = -----0----0101-100}
define_transition doorclose up {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = ------0---1001-100}
define_transition doorclose up {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = ---------1000-0010}
define_transition doorclose up {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = -------1--10-00010}
define_transition doorclose up {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = -----00----1011-00}
define_transition doorclose up {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = -----0----01011-00}
define_transition doorclose up {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = ------0---10011-00}
define_transition doorclose up {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = -----00----1010010}
define_transition doorclose up {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = -----0----01010010}
define_transition doorclose up {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = ------0---10010010}
define_transition wait3 wait4 {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = ------------------}
define_transition wait2 wait3 {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = ------------------}
define_transition wait1 wait2 {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = ------------------}
define_transition dooropen wait1 {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = ------------------}
define_transition stopon1 wait1 {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = ------------------}
define_transition wait4 doorclose {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = ------------------}
define_transition doorclose doorclose {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = ---------------11-}
define_transition doorclose doorclose {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = --------------1-1-}
define_transition doorclose doorclose {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = --------------000-}
define_transition doorclose doorclose {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = ----------001----1}
define_transition doorclose doorclose {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = ---------100-----1}
define_transition doorclose doorclose {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = ------0---1--1---1}
define_transition doorclose doorclose {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = --------0--1-0---1}
define_transition doorclose doorclose {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = -----0----01-1---1}
define_transition doorclose doorclose {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = -------0--10-0---1}
define_transition stop dooropen {un41_pos[31],un41_pos[30],un2_pos[31],un2_pos[30],CONT.pos[0],CONT.un151_udsig,CONT.un115_udsig,CONT.un62_udsig,CONT.un25_udsig,un1_POSITION_3,un1_POSITION_4,un13_udsig,un3_udsig,UDSIG,POSITION[0],POSITION[1],POSITION[2],CONT.un8_udsig = ------------------}
fsm_options -SRSPath {E:\\My Synplyfy\\lift\\rev_2\\flift.srs}
fsm_options -SRSTime 1216017998
fsm_options -FSMPath {STATE[0:9]}
fsm_options -view {ScratchLib.cell2.netlist|i:STATE[0:9]}
fsm_options -ID {1401401}