Development of context-aware workflow systems based on Petri Net Markup Language · Study