Petri nets and abstract data types - Reisig, Wolfgang 1950- (1989)