Copy Layout of Transition System

This plug-in can help in creating an animation for a mined Transition System (TS) using a given layout. The plug-in takes two parameters: a first (imported) TS, and a second (mined) TS. The plug-in then copies the layout from the first TS to the second. This allows you to quickly change the layout for a … [Read more…]