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},
}
|