1. State other interesting properties of the FSM of and investigate their validity. 2. Build an FSM describing the behavior of the PN of Which properties hold for such a machine? How do they differ from the properties of the PN. 3. In this text, we assume a PN semantics that allows only one transition to fire at each step. Other definitions of the model allow the contemporaneous firing of several transitions (true semantics of PNs). How does the FSM of change if the PN of has true semantics instead of the semantics adopted here? Do the related properties change?