Blueworks Live by IBM is an exceptional tool for process modeling and discovery.
Unlike many other modeling tools, Blueworks generates BPMN 2.0 behind the scenes so that, once you are ready to move forward with automation, you will be well-positioned.
