Errata of:

Kimmo Varpaaniemi. Efficient detection of deadlocks in Petri nets. Research Report A26, Digital Systems Laboratory, Helsinki University of Technology, Espoo, Finland, October 1993.