Fig. 6.

Each detected heuristics net was converted to a Petri net. In this case, compare the derived Petri net with the detected heuristics net in Fig. 3 from user 3 and note the one-to-one correspondence between the two models. The black squares refer to so-called silent transitions that are needed to ensure that a place in the Petri net is not directly linked to another place