Automatic Procedure Following Evaluation Using Petri Net-Based Workflows · Study