Discrete Event Systems

a) What are the input (Pre) and output (Post) sets of transitions t5 and t8? Of place p3? b) Starting from the initial marking, which transitions are enabled after t1 and t2 have fired? c) What is the total number of tokens in N1 before and after t2 fired? d) Play the token game for N1 and construct the reachability graph. Hint You may denote the states in such a way that the index indicates the places that hold a token in this state, for example ~s0 = (1, 0, 0, 0, 1, 0, 0, 0, 0, 0) 4 = s1,5.