High-level Petri Nets by Kurt Jensen, Grzegorz Rozenberg | Lex | Lex