A Petri net modeling approach to explore the temporal dynamics of the provision of multiple ecosystem services