Modify the models in figures 12-11 and 12-12 for the NF semantics, i.e., for the case where tokens are removed when a timed transition starts firing. Since this change allows you to specify switching...

Modify the models in figures 12-11 and 12-12 for the NF semantics, i.e., for the case where tokens are removed when a timed transition starts firing. Since this change allows you to specify switching probabilities directly for the timed transitions, can you remove any of the immediate transitions from the model in this case? Does this change result in a smaller state space?