Title: Equivalence transformations of PrT-Nets