A javascript-based viewer for state transition diagram data