Since the super-component enumerates the different solutions by executing different algorithms, the expansion into parallel/serial Petri nets can take on different forms.

In the above realization we can proceed if one solution is found. We can also insist that all solutions must be found before we proceed further, resulting in a different Petri net realization.