Interorganizational workflows: An approach based on message sequence charts and petri nets · Study