Genrich, H.J.H.J.Genrich2022-03-082022-03-081990https://publica.fraunhofer.de/handle/publica/317202enhigher-levelpetri nets004005006Equivalence transformations of PrT-Netsconference paper