<process-definition> <start-state> <transition to='s' /> </start-state> <state name='s'> <transition to='end' /> </state> <end-state name='end' /> </process-definition>