ADVANCES IN PETRI NETS. 1985 - Baumgarten, B. (Springer, 1986)