Towards a simplified building of time Petri Nets reachability graph | IEEE Conference Publication | IEEE Xplore