TCS / Research / Publications / PROD -- A PrT--Net Reachability Analysis Tool
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

PROD – A PrT–Net Reachability Analysis Tool


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:

    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)

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.