An Environment for User Interface Development Based on the ATN and Petri Nets Notations