Move a transition to a new subpage Apply the tool to a transition A new page is created. The transition becomes a substitution transition and the newly created page is set as subpage, using the selected transition as substitution transition. All places surrounding the transition are copied to the new subpage, and are set as ports. All these ports are assigned to their counterparts (which […]