Improving the State Space Computation of the Time Stream Petri Nets Model