FlowManager: A workflow management system based on Petri nets