Graphical Finite State Machine Editor for Parallel Execution

David Obdržálek


GFE is a Graphical FSM (Finite State Machine) Editor based on the Grafcet SFC (Sequential Function Chart) model. The GFE takes advantage of automated code generation and provides strong tools for complex control. At the same time it gives a high-level overview of the entire robotic control architecture. A complex control system may be designed, tested and deployed using visual approach. This is particularly useful for education where the students do not have to start always from scratch, or for young robot builders who are not as experienced in low-level programming. Once a control library is implemented for a particular robot, it may be reused and the robot may be programmed using solely graphical approach, because the most complicated part of controller design - the state machine - is automatically generated. This avoids typing errors and allows fast and simple redesign.

Where to get it

Development version is available on request by email.

Contact email:



Research group at the department:

Web Semantization Research Group

Supporting research projects and grants:

AV CR 1ET100300419, MSMT MSM0021620838


  • Obdržálek D., Benda J.: GFE - Graphical Finite State Machine Editor for Parallel Execution, in Entertainment Computing - ICEC 2007, Shanghai Jiangong Jinjiang Hotel, Springer, ISBN: 978-3-540-74872-4, ISSN: 0302-9743, pp. 401-406, September 2007
The content of this web site is licensed under Creative Commons Attribution-NonCommercial 3.0 Czech Republic