Geo-workflow model based on Petri nets