Describir: Multilevel Petri Nets for the Specification and Development of Workflow Automation Systems