Farwer, B.Moldt, D.Stehr, M.-O.2022-03-022022-03-021997https://publica.fraunhofer.de/handle/publica/133254Petri nets in system engineering : modelling, verification and validation