Animation tools
Tools for automatical animation creation Help


Animation Tools

Draw transition MSC

Creates a simple MSC over a simulation of the net with the transitions as process and their occurences as events with the binding as value.

Draw MSC

Automatical creates a MSC based on the places in the net. You are prompted for how the places and processes should be mapped to each other.

For the Telephones sample it look like this:

Place-processing mapping for Telephones sample net

And gives a result like this: (Scaled to 33%)

TelephonesMSC.png
(A more sensible mapping might be desired, but hey...)

The blue processes are transition processes added to make the MSC meaningful, for instance when a occuring transition has multiple input arcs.

Start button game

Start GUI game

Version 1, Thu 13 Jul 2006 12:10:54 [tveon]