Table of Contents

Kml2Mec

Activation

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

Parameters

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

see the kml2latex plugin description

Result

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

 
costo/plugins/mecloader.txt · Last modified: 2014/09/08 16:33 (external edit)
 
Recent changes RSS feed Creative Commons License Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki