Log Skeleton Graph

Version 6.11.158 of the LogSkeleton package introduces a new model called the Log Skeleton Graph.  A Log Skeleton Graph is constructed from the Log Skeleton, and from the Log Skeleton Graph the Dot visualization is constructed. A Log Skeleton Graph contains the following: Log Skeleton Node A Log Skeleton Node represents an activity in the Read More …

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 …