Abstract:This paper introduces a methodology towards enabling business process modeling with geographic and geospatial information. First, a comprehensive framework of geospatial constraints, formulated as a UML-based semantic model, is proposed. Next, a business process modeling language (LAWF-net) is designed to combine traditional control-flow constructs with the aforementioned geospatial constraints. To enable the execution of such models, a mapping to Coloured Petri Nets (CPN) is formulated. The proposed approach is implemented in the form of a CPN tool extension, and a case study is presented to show that the new approach is feasible in practice and can be combined and integrated with existing GIS systems.