Comparing the Control-Flow of EPC and Petri Net from the End-User Perspective · Study