Reisig, W.2022-03-022022-03-0219983-540-65307-4https://publica.fraunhofer.de/handle/publica/134238Lectures on Petri nets. Advances in Petri nets. Vol. 2: Applications