306704.fig.0012
Figure 12: Optimized Petri net model of matching process.