Structure-Constrained Process Graphs for the Process Semantics of Regular Expressions.