Interpreted synchronous extension of time Petri nets

Karen Godary-Dejean, Hélène Leroux, David Andreu. Interpreted synchronous extension of time Petri nets. Discrete Event Dynamic Systems, 32(1):27-64, 2022. [doi]

Abstract

Abstract is missing.