Graph dynamics analysis made easy. The TNCES Workbench enables you to calculate and analyse the reachability and dynamic graph, to draw trajectories and to translate IEC 61499 FBs into discrete timed Net Condtion/Event Systems.

TNCES Workbench Features:
1. TNCES Workbench uses SWI Prolog -> runs at Windows, Ubuntu, Solaris
2. TNCES Editor and CE2 Preventor is implemented in Java

The license of this software is Free, you can free download and free use this graphing software.