Numerical method to simulate and to analyze Time Petri nets | IEEE Conference Publication | IEEE Xplore