Valette, R.2022-03-022022-03-0219943-540-58152-9https://publica.fraunhofer.de/handle/publica/130704Application and theory of Petri nets 1994