Characterization of timed well-formed Petri nets behavior by means of occurrence equations | IEEE Conference Publication | IEEE Xplore