%% project window for unconstrained/ sequential design session.
%% << consider puting indication of user_dialog here >>
transition(enter, archcad, t1).
transition(enter, archcad_online, t1).
transition(enter, ustation_online, t1).
transition(archcad, attribute, t2).
transition(archcad_online, attribute, t5).
transition(ustation_online, attribute, t5).
transition(attribute, thermaleval, t3).
transition(attribute, conformance, t3).
transition(conformance, attribute, t4).
transition(conformance, archcad, t4).
transition(conformance, archcad_online, t4).
transition(conformance, ustation_online, t4).
transition(conformance, thermaleval, t4).
transition(thermaleval, lighting_sim, t7).
transition(thermaleval, exit, t7).
transition(lighting_sim, team_decision, t6).
transition(lighting_sim, exit, t6).
transition(team_decision, attribute, t8).
transition(team_decision, archcad, t8).
transition(team_decision, archcad_online, t8).
transition(team_decision, ustation_online, t8).
