High-level Petri nets : theory and application - Jensen, Kurt; Rozenberg, Grzegorz (Springer, 1991)