A novel business process modeling approach is presented that is able to couple control-flow concerns with geospatial constraints;
A formalized mapping is defined to convert our approach to coloured Petri nets (CPN) so as to enact and validate the models;
A prototype implementation is developed to illustrate the feasibility ofour approach;
Our approach allows to constrain and monitor process behavior based on location-driven constraints during their execution.