Reference:
Marko Rauhamaa. Design and implementation of a reduction tool for PrT-nets. Technical Report B6, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, December 1988.
Suggested BibTeX entry:
@techreport{HUT-TCS-B6,
address = {Espoo, Finland},
author = {Marko Rauhamaa},
institution = {Helsinki University of Technology, Digital Systems Laboratory},
month = {December},
number = {B6},
pages = {13},
title = {Design and Implementation of a Reduction Tool for {P}r{T}-Nets},
type = {Technical Report},
year = {1988},
}
|