# vis release 1.2 (compiled 19-Feb-97 at 7:27 PM)
# network name: main
# generated: Wed Feb 19 19:49:23 1997
#
# name                                    type            mddId vals levs
init22<1>                                pseudo-input         1    2 (0)
init22<0>                                pseudo-input         2    2 (1)
init11<1>                                pseudo-input         3    2 (2)
init11<0>                                pseudo-input         4    2 (3)
e1.door                                  latch                7    4 (4, 5)
e1.door$NS                               shadow               8    4 (6, 7)
e1.movement                              latch               16    2 (8)
e1.movement$NS                           shadow              17    2 (9)
e1.r_stop                                pseudo-input        24    2 (10)
e1.open_next$NS                          shadow               6    2 (11)
e1.open_next                             latch                5    2 (12)
e1.random                                pseudo-input         9    2 (13)
e2.door                                  latch               33    4 (14, 16)
e2.door$NS                               shadow              34    4 (15, 17)
e2.movement                              latch               14    2 (18)
e2.movement$NS                           shadow              15    2 (19)
e2.r_stop                                pseudo-input        13    2 (20)
e1.location<0>                           latch               20    2 (21)
e1.location<0>$NS                        shadow              21    2 (22)
e1.buttons<*1*>$NS                       shadow              11    2 (23)
e1.buttons<*1*>                          latch               10    2 (24)
e1.location<1>                           latch               18    2 (25)
e1.location<1>$NS                        shadow              19    2 (26)
e1.direction                             latch               22    2 (27)
e1.direction$NS                          shadow              23    2 (28)
e2.open_next                             latch               31    2 (29)
e2.open_next$NS                          shadow              32    2 (30)
e2.random                                pseudo-input         0    2 (31)
e2.location<0>                           latch               48    2 (32)
e2.location<0>$NS                        shadow              49    2 (33)
e2.location<1>                           latch               46    2 (34)
e2.location<1>$NS                        shadow              47    2 (35)
e2.direction                             latch               35    2 (36)
e2.direction$NS                          shadow              36    2 (37)
e2.random_push<0>                        pseudo-input        45    2 (38)
e2.buttons<*0*>$NS                       shadow              44    2 (39)
e2.buttons<*0*>                          latch               43    2 (40)
e2.random_push<2>                        pseudo-input        37    2 (41)
e2.buttons<*2*>$NS                       shadow              40    2 (42)
e2.buttons<*2*>                          latch               39    2 (43)
e2.random_push<1>                        pseudo-input        38    2 (44)
e2.buttons<*1*>$NS                       shadow              42    2 (45)
e2.buttons<*1*>                          latch               41    2 (46)
e1.random_push<0>                        pseudo-input        30    2 (47)
e1.buttons<*0*>$NS                       shadow              29    2 (48)
e1.buttons<*0*>                          latch               28    2 (49)
e1.random_push<2>                        pseudo-input        27    2 (50)
e1.buttons<*2*>$NS                       shadow              26    2 (51)
e1.buttons<*2*>                          latch               25    2 (52)
main_control.locations<*2*><0>$NS        shadow              59    2 (53)
main_control.locations<*2*><0>           latch               58    2 (54)
main_control.locations<*2*><1>           latch               54    2 (55)
main_control.locations<*2*><1>$NS        shadow              55    2 (56)
main_control.direction<*2*>              latch               50    2 (57)
main_control.direction<*2*>$NS           shadow              51    2 (58)
main_control.random_up<1>                pseudo-input        63    2 (59)
main_control.random_down<1>              pseudo-input        65    2 (60)
e1.random_push<1>                        pseudo-input        12    2 (61)
main_control.direction<*1*>$NS           shadow              53    2 (62)
main_control.direction<*1*>              latch               52    2 (63)
main_control.locations<*1*><1>           latch               56    2 (64)
main_control.locations<*1*><1>$NS        shadow              57    2 (65)
main_control.random_down<0>              pseudo-input        72    2 (66)
main_control.random_up<0>                pseudo-input        79    2 (67)
main_control.locations<*1*><0>$NS        shadow              61    2 (68)
main_control.locations<*1*><0>           latch               60    2 (69)
main_control.random_up<2>                pseudo-input        62    2 (70)
main_control.random_down<2>              pseudo-input        64    2 (71)
main_control.down_floor_buttons<*1*>     latch               68    2 (72)
main_control.down_floor_buttons<*1*>$NS  shadow              69    2 (73)
main_control.down_floor_buttons<*0*>$NS  shadow              71    2 (74)
main_control.down_floor_buttons<*0*>     latch               70    2 (75)
main_control.down_floor_buttons<*2*>     latch               66    2 (76)
main_control.down_floor_buttons<*2*>$NS  shadow              67    2 (77)
main_control.up_floor_buttons<*2*>       latch               73    2 (78)
main_control.up_floor_buttons<*2*>$NS    shadow              74    2 (79)
main_control.up_floor_buttons<*1*>       latch               75    2 (80)
main_control.up_floor_buttons<*1*>$NS    shadow              76    2 (81)
main_control.up_floor_buttons<*0*>$NS    shadow              78    2 (82)
main_control.up_floor_buttons<*0*>       latch               77    2 (83)