        
        <td>
          <p><code><a href="petrinet_check_wfnet.html">petrinet_check_wfnet()</a></code> </p>
        </td>
        <td><p>Check Workflow net property</p></td>
      </tr><tr>
        
        <td>
          <p><code><a href="petrinet_synchronous_product.html">petrinet_synchronous_product()</a></code> </p>
        </td>
        <td><p>Synchronous product Petri net</p></td>
      </tr><tr>
        
        <td>
          <p><code><a href="pm4py.html">pm4py</a></code> </p>
        </td>
