Work |Fail ;
};
knot MPS_B
{
state: Fail, Work;
mode: Normal, Wait;
startState: Work;
startMode: Wait;
cntrlMode: unDistribution;
tableDistribution:
|Normal| Wait|
Work | Dis_MPS| Dis_MPS_Wait;
tableStateChange:
Normal |Wait
Work |Fail |Fail ;
};
knot MM_A
{
state: Fail, Work;
mode: Normal;
startState: Work;
startMode: Normal;
cntrlMode: unDistribution;
tableDistribution:
|Normal|
Work | Dis_MM;
tableStateChange:
Normal|
Work |Fail ;
};
knot MM_B
{
state: Fail, Work;
mode: Normal, Wait;
startState: Work;
startMode: Wait;
cntrlMode: unDistribution;
tableDistribution:
|Normal| Wait|
Work | Dis_MM| Dis_MM_Wait;
tableStateChange:
Normal |Wait
Work |Fail |Fail ;
};
knot MMX8_A
{
state: Fail, Work;
mode: Normal;
startState: Work;
startMode: Normal;
cntrlMode: unDistribution;
tableDistribution:
|Normal|
Work | Dis_MMX8;
tableStateChange:
Normal|
Work |Fail ;
};
knot MMX8_B
{
state: Fail, Work;
mode: Normal, Wait;
startState: Work;
startMode: Wait;
cntrlMode: unDistribution;
tableDistribution:
|Normal| Wait|
Work | Dis_MMX8| Dis_MMX8_Wait;
tableStateChange:
Normal |Wait
Work |Fail |Fail ;
};
knot MKPS1_A
{
state: Fail, Work;
mode: Normal;
startState: Work;
startMode: Normal;
cntrlMode: unDistribution;
tableDistribution:
|Normal|
Work | Dis_MKPS;
tableStateChange:
Normal|
Work |Fail ;
};
knot MKPS1_B
{
state: Fail, Work;
mode: Normal, Wait;
startState: Work;
startMode: Wait;
cntrlMode: unDistribution;
tableDistribution:
|Normal| Wait|
Work | Dis_MKPS| Dis_MKPS_Wait;
tableStateChange:
Normal |Wait
Work |Fail |Fail ;
};
knot MUP2_1_A
{
state: Fail, Work;
mode: Normal;
startState: Work;
startMode: Normal;
cntrlMode: unDistribution;
tableDistribution:
|Normal|
Work | Dis_MUP2;
tableStateChange:
Normal|
Work |Fail ;
};
knot MUP2_1_B
{
state: Fail, Work;
mode: Normal, Wait;
startState: Work;
startMode: Wait;
cntrlMode: unDistribution;
tableDistribution:
|Normal| Wait|
Work | Dis_MUP2| Dis_MUP2_Wait;
tableStateChange:
Normal |Wait
Work |Fail |Fail ;
};
knot MPT32_1_A
{
state: Fail, Work;
mode: Normal;
startState: Work;
startMode: Normal;
cntrlMode: unDistribution;
tableDistribution:
|Normal|
Work | Dis_MPT32;
tableStateChange:
Normal|
Work |Fail ;
};
knot MPT32_1_B
{
state: Fail, Work;
mode: Normal, Wait;
startState: Work;
startMode: Wait;
cntrlMode: unDistribution;
tableDistribution:
|Normal| Wait|
Work | Dis_MPT32| Dis_MPT32_Wait;
tableStateChange:
Normal |Wait
Work |Fail |Fail ;
};
knot MUP2_2_A
{
state: Fail, Work;
mode: Normal;
startState: Work;
startMode: Normal;
cntrlMode: unDistribution;
tableDistribution:
|Normal|
Work | Dis_MUP2;
tableStateChange:
Normal|
Work |Fail ;
};
knot MUP2_2_B
{
state: Fail, Work;
mode: Normal, Wait;
startState: Work;
startMode: Wait;
cntrlMode: unDistribution;
tableDistribution:
|Normal| Wait|
Work | Dis_MUP2| Dis_MUP2_Wait;
tableStateChange:
Normal |Wait
Work |Fail |Fail ;
};
knot MPT32_2_A
{
state: Fail, Work;
mode: Normal;
startState: Work;
startMode: Normal;
cntrlMode: unDistribution;
tableDistribution:
|Normal|
Work | Dis_MPT32;
tableStateChange:
Normal|
Work |Fail ;
};
knot MPT32_2_B
{
state: Fail, Work;
mode: Normal, Wait;
startState: Work;
startMode: Wait;
cntrlMode: unDistribution;
tableDistribution:
|Normal| Wait|
Work | Dis_MPT32| Dis_MPT32_Wait;
tableStateChange:
Normal |Wait
Work |Fail |Fail ;
};
knot MUP2_3_A
{
state: Fail, Work;
mode: Normal;
startState: Work;
startMode: Normal;
cntrlMode: unDistribution;
tableDistribution:
|Normal|
Work | Dis_MUP2;
tableStateChange:
Normal|
Work |Fail ;
};
knot MUP2_3_B
{
state: Fail, Work;
mode: Normal, Wait;
startState: Work;
startMode: Wait;
cntrlMode: unDistribution;
tableDistribution:
|Normal| Wait|
Work | Dis_MUP2| Dis_MUP2_Wait;
tableStateChange:
Normal |Wait
Work |Fail |Fail ;
};
knot MPT32_3_A
{
state: Fail, Work;
mode: Normal;
startState: Work;
startMode: Normal;
cntrlMode: unDistribution;
tableDistribution:
|Normal|
Work | Dis_MPT32;
tableStateChange:
Normal|
Work |Fail ;
};
knot MPT32_3_B
{
state: Fail, Work;
mode: Normal, Wait;
startState: Work;
startMode: Wait;
cntrlMode: unDistribution;
tableDistribution:
|Normal| Wait|
Work | Dis_MPT32| Dis_MPT32_Wait;
tableStateChange:
Normal |Wait
Work |Fail |Fail ;
};
knot MUP2_4_A
{
state: Fail, Work;
mode: Normal;
startState: Work;
startMode: Normal;
cntrlMode: unDistribution;
tableDistribution:
|Normal|
Work | Dis_MUP2;
tableStateChange:
Normal|
Work |Fail ;
};
knot MUP2_4_B
{
state: Fail, Work;
mode: Normal, Wait;
startState: Work;
startMode: Wait;
cntrlMode: unDistribution;
tableDistribution:
|Normal| Wait|
Work | Dis_MUP2| Dis_MUP2_Wait;
tableStateChange:
Normal |Wait
Work |Fail |Fail ;
};
knot MPC80_4_A
{
state: Fail, Work;
mode: Normal;
startState: Work;
startMode: Normal;
cntrlMode: unDistribution;
tableDistribution:
|Normal|
Work | Dis_MPC80 ;
tableStateChange:
Normal|
Work |Fail ;
};
knot MPC80_4_B
{
state: Fail, Work;
mode: Normal, Wait;
startState: Work;
startMode: Wait;
cntrlMode: unDistribution;
tableDistribution:
|Normal| Wait|
Work | Dis_MPC80 | Dis_MPC80_Wait ;
tableStateChange:
Normal |Wait
Work |Fail |Fail ;
};
knot MUP2_5_A
{
state: Fail, Work;
mode: Normal;
startState: Work;
startMode: Normal;
cntrlMode: unDistribution;
tableDistribution:
|Normal|
Work | Dis_MUP2;
tableStateChange:
Normal|
Work |Fail ;
};
knot MUP2_5_B
{
state: Fail, Work;
mode: Normal, Wait;
startState: Work;
startMode: Wait;
cntrlMode: unDistribution;
tableDistribution:
|Normal| Wait|
Work | Dis_MUP2| Dis_MUP2_Wait;
tableStateChange:
Normal |Wait
Work |Fail |Fail ;
};
knot MPC80_5_A
{
state: Fail, Work;
mode: Normal;
startState: Work;
startMode: Normal;
cntrlMode: unDistribution;
tableDistribution:
|Normal|
Work | Dis_MPC80;
tableStateChange:
Normal|
Work |Fail ;
|
Из за большого объема этот материал размещен на нескольких страницах:
1 2 3 4 5 6 7 8 9 10 |
