Menu Action on a Kmelia composite specification in the package list.

• The first parameter is the selected component.
• The formatting parameters are the settings provided by a Kml2latex.userprefs

see the kml2latex plugin description

The result is a set of images files that illustrate the state space (e.g. deadlock states).