Graphs  FSM  Component diagrams links
 FlowDesigner
(was previously named Overflow),
C++ framework for graphical building of components. It has a
robotics component, RobotFlow. In the same set
of projects, Marie is
the newest, working towards ACE + CORBA as platform.
 boost::fsm,
an C++ FSM library from the Boost
project.
 JGraph, A Java
program to draw and process graph structures. It has a very
flexible design, with callback on drawing and viewing events.
 EmSim (Emergy
Simulator), a Java to model and simulate the kinetic and the
thermodynamics of ecologicaleconomics, in the Bond Graph paradigm.
With a little bit of imagination, this could also be turned into a
flexible tool for general dynamic system simulation, and hence also
for robots.
 OpenModelica
is a project that works towards a free software implementation of
the Modelica standard for
modelling and simulation of dynamical systems.
 HydSel,
"allows modeling a class of hybrid systems described by
interconnections of linear dynamic systems, automata, ifthenelse
and propositional logic rules."
 XGMML
(eXtensible Graph Markup and Modeling Language) and GXL (Graph Exchange Language) are XML
applications that use tags to describe nodes and edges of a graph.
The purpose is to make possible the exchange of graphs between
differents authoring and browsing tools for graphs.
 Boost
Graph Library (BGL) (Was Generic Graph Component
Library), a C++ library on top of STL.
 Graphviz "is a
set of graph drawing tools for Unix or MSWindows (win32),
including a web service interface (webdot). Source code and binary
executables for common platforms are available. Graph drawing
addresses the problem of visualizing structural information by
constructing geometric representations of abstract graphs and
networks. Automatic generation of graph drawings has important
applications in key technologies such as database design, software
engineering, VLSI and network design and visual interfaces in other
domains."
 AutoFSM
(Automated Finite State Machine), GPL library to define and
implement Finite State Machines.
 PIPE (Platform
Independent Petri Net Editor), Petri net editor and analyzer.
 CHSM
(Concurrent Hierarchical State Machine), a GPL library to define
and implement Finite State Machines.
