The version is 0.32, TNCES Workbench, 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 ->...