@book{PolyvyanyySmirnovWeske2009, author = {Artem Polyvyanyy and Sergey Smirnov and Mathias Weske}, title = {The triconnected abstraction of process models}, isbn = {978-3-940793-65-2}, year = {2009}, }