Genrich, H.J.H.J.Genrich2022-03-082022-03-081988https://publica.fraunhofer.de/handle/publica/316095en004005006Equivalence transformations of predicate transition netsconference paper