Reduction Transformations of PrT-Nets

Reference:

Petri Krohn and Marko Rauhamaa. Reduction transformations of PrT-nets. Research Report A7, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, October 1988.

Suggested BibTeX entry:

@techreport{HUT-TCS-A7,
    address = {Espoo, Finland},
    author = {Petri Krohn and Marko Rauhamaa},
    institution = {Helsinki University of Technology, Digital Systems Laboratory},
    month = {October},
    number = {A7},
    pages = {40},
    title = {Reduction Transformations of {P}r{T}-Nets},
    type = {Research Report},
    year = {1988},
}