The Triconnected Abstraction of Process Models · Study