Describir: Advances in Petri nets, 1991 /