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