Advances in Petri nets 1989 (Springer, 1990)