A Petri Net based Approach to Modelling Resource Constrained Interorganizational Workflows In Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 0ICEIS, 29-38, 2008 , Barcelona, Spain