Automata-Based Analysis of Stage Suspended Boom Systems

Table 1

The activities.

	𝑎	𝑢
Up-right	valur(𝑎)=1001	𝑢ur=(𝑣𝑥,𝑣𝑦)
Up-left	valul(𝑎)=−1001	𝑢ur=(−𝑣𝑥,𝑣𝑦)
Down-left	valur(𝑎)=−100−1	𝑢dl=(−𝑣𝑥,−𝑣𝑦)
Down-right	valur(𝑎)=100−1	𝑢dr=(𝑣𝑥,−𝑣𝑦)
Up	valur(𝑎)=0001	𝑢u=(0,𝑣𝑦)
Down	valur(𝑎)=000−1	𝑢d=(0,−𝑣𝑦)
Right	valur(𝑎)=1000	𝑢r=(𝑣𝑥,0)
Left	valur(𝑎)=−1000	𝑢l=(−𝑣𝑥,0)
Suspend	valur(𝑎)=0000	𝑢sp=(0,0)