1. State other interesting properties of the FSM of and investigate their validi

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?

You may also like