@techreport{
    GroTiVrp93,
    author = {Gr{\"{o}}nberg, Peter and Tiusanen, Mikko and Varpaaniemi, Kimmo},
    ps = "B11.ps",
    title = "{P}{R}{O}{D}---A {P}r/{T}-Net Reachability Analysis Tool",
    abstract = "PROD is a reachability analysis tool for Pr/T-nets. The stubborn set method for reduced state space generation has been implemented in it. PROD also has a rich query language for inspecting the generated state space. PROD is available and free of charge. A UNIX or an MS-DOS version of PROD can be obtained using FTP. A reference manual of PROD is available on request. The corresponding LaTeX files are included in the package that contains the software. This report briefly introduces PROD and demonstrates its usage. Special attention is paid to the query language. The principles of the stubborn set method are also presented.",
    address = "Espoo, Finland",
    number = "B11",
    month = "June",
    note = "Partially out of date",
    flags = "public,copy",
    pages = "44",
    year = "1993",
    keywords = "Petri nets, Pr/T-nets, reachability analysis, stubborn set method",
    pdf = "B11.pdf",
    type = "Technical Report",
    institution = "Digital Systems Laboratory, Helsinki University of Technology",
    errata = "http://users.tkk.fi/~kvarpaan/HUT-TCS-B11-errata.html"
}