Errata of:
Peter Grönberg, Mikko Tiusanen, and Kimmo Varpaaniemi. PROD-a Pr/T-net reachability analysis tool. Technical Report B11, Digital Systems Laboratory, Helsinki University of Technology, Espoo, Finland, June 1993.