Advances in Petri Nets 1991 | EKB DL