Create state diagrams PNG from textual specification