PROD – A PrT–Net Reachability Analysis Tool

Reference:

Peter Grönberg, Mikko Tiusanen, and Kimmo Varpaaniemi. PROD – a PrT–net reachability analysis tool. Technical Report B11, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, June 1993.

Suggested BibTeX entry:

@techreport{HUT-TCS-B11,
    address = {Espoo, Finland},
    author = {Peter Gr{\"o}nberg and Mikko Tiusanen and Kimmo Varpaaniemi},
    institution = {Helsinki University of Technology, Digital Systems Laboratory},
    month = {June},
    number = {B11},
    pages = {44},
    title = {{P}{R}{O}{D} -- A {P}r{T}--Net Reachability Analysis Tool},
    type = {Technical Report},
    year = {1993},
}

PostScript (336 kB)
GZipped PostScript (89 kB)
PDF (347 kB)
Errata