A methodology and tool environment for process analysis and reengineering