Linear logic as a tool for presentation and temporal reasoning of time Petri nets | IEEE Conference Publication | IEEE Xplore