Behaviour equivalent max-plus automata for timed petri nets under open-loop race-policy semantics
scientific article published on 31 July 2021