Determinization of timed Petri nets behaviors

Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond. Determinization of timed Petri nets behaviors. Discrete Event Dynamic Systems, 26(3):413-437, 2016. [doi]

Abstract

Abstract is missing.