Инструментальная среда имитационного моделирования - Дипломная работа

Задача о философах, гуляющих в парке model(Dinning_philosophers_wandering) place(chair1) place(chair2) place(chair3) place(chair4) place(napkin23) place(napkin34) place(dish) place(napkin12) place(napkin41) place(park) arc_in(chair1,napkin41,getr) arc_in(chair1,napkin12,getl) arc_out(chair1,napkin41,putr) arc_out(chair1,napkin12,putl) arc_out(chair1,park,TOPARK) arc_in(chair1,chair1,Leave) arc_out(chair1,chair1,put) arc_in(chair2,napkin12,getr) arc_in(chair2,napkin23,getl) arc_out(chair2,napkin12,putr) arc_out(chair2,napkin23,putl) arc_out(chair2,park,TOPARK) arc_in(chair2,chair2,Leave) arc_out(chair2,chair2,put) arc_in(chair3,napkin23,getr) arc_in(chair3,napkin34,getl) arc_out(chair3,napkin23,putr) arc_out(chair3,napkin34,putl) arc_out(chair3,park,TOPARK) arc_in(chair3,chair3,Leave) arc_out(chair3,chair3,put) arc_in(chair4,napkin34,getr) arc_in(chair4,napkin41,getl) arc_out(chair4,napkin34,putr) arc_out(chair4,napkin41,putl) arc_out(chair4,park,TOPARK) arc_in(chair4,chair4,Leave) arc_out(chair4,chair4,put) arc_in(chair1,dish,eat) arc_in(chair2,dish,eat) arc_in(chair3,dish,eat) arc_in(chair4,dish,eat) arc_in(park,park,Leave) arc_in(park,chair1,get1) arc_in(park,chair2,get2) arc_in(park,chair3,get3) arc_in(park,chair4,get4) arc_out(park,chair1,TOCHAIR1) arc_out(park,chair2,TOCHAIR2) arc_out(park,chair3,TOCHAIR3) arc_out(park,chair4,TOCHAIR4) type(fork) const(f) port(putr) port(putl) port(getr) port(getl) type(spag) const(s) port(eat) type(free) const(free) port(put) port(get1) port(get2) port(get3) port(get4) type(philosopher) state(thinking) port(Leave) port(TOCHAIR1) port(TOCHAIR2) port(TOCHAIR3) port(TOCHAIR4) port(TOPARK) const(p1) const(p2) const(p3) const(p4) var(ph) state_chart_name(LFORK_before_eating,1fork) state_chart_name(RFORK_before_eating,1fork) state_chart_name(RFORK_after_eating,1fork) state_chart_name(LFORK_after_eating,1fork) trans(eating,eating,do_eating) trans_chart_name(eating) trans_symbol($) priority(60) duration(10) term_in(eat,s) trans(eating,LFORK_after_eating,L_A) priority(20) duration(1) trans_chart_name(put_fork) term_out(putr,f) trans(eating,RFORK_after_eating,R_A) priority(20) duration(1) trans_chart_name(put_fork) term_out(putl,f) trans(thinking,LFORK_before_eating,L_B) duration(2) trans_chart_name(get_fork) term_in(getl,f) trans(thinking,RFORK_before_eating,R_B) duration(2) trans_chart_name(get_fork) term_in(getr,f) trans(thinking,thinking,do_thinking) trans_chart_name(thinking) duration(5) trans_symbol(?) trans(thinking,thinking,to_park) duration(2) trans_chart_name(walking) term_in(Leave,ph,thinking) term_out(put,free) term_out(TOPARK,ph,thinking) trans(thinking,thinking,to_chair1) duration(4) trans_chart_name(walking) term_in(get1,free) term_in(Leave,ph,thinking) term_out(TOCHAIR1,ph,thinking) trans(thinking,thinking,to_chair2) duration(4) trans_chart_name(walking) term_in(get2,free) term_in(Leave,ph,thinking) term_out(TOCHAIR2,ph,thinking) trans(thinking,thinking,to_chair3) duration(4) trans_chart_name(walking) term_in(get3,free) term_in(Leave,ph,thinking) term_out(TOCHAIR3,ph,thinking) trans(thinking,thinking,to_chair4) duration(4) trans_chart_name(walking) term_in(get4,free) term_in(Leave,ph,thinking) term_out(TOCHAIR4,ph,thinking) trans(LFORK_before_eating,eating,lets_eat1) trans_chart_name(get_fork) priority(80) duration(1) term_in(getr,f) trans(LFORK_before_eating,thinking,lets_think2) trans_chart_name(put_fork) priority(20) duration(1) term_out(putl,f) trans(RFORK_before_eating,eating,lets_eat1) trans_chart_name(get_fork) priority(80) duration(1) term_in(getl,f) trans(RFORK_before_eating,thinking,lets_think2) trans_chart_name(put_fork) priority(20) duration(1) term_out(putr,f) trans(LFORK_after_eating,eating,lets_eat2) trans_chart_name(get_fork) priority(20) duration(2) term_in(getr,f) trans(LFORK_after_eating,thinking,lets_think1) trans_chart_name(put_fork) priority(80) duration(2) term_out(putl,f) trans(RFORK_after_eating,eating,lets_eat2) trans_chart_name(get_fork) priority(20) duration(3) term_in(getl,f) trans(RFORK_after_eating,thinking,lets_think1) trans_chart_name(put_fork) priority(80) duration(1) term_out(putr,f) place(chair1) inst(p1,thinking) place(chair2) inst(p2,thinking) place(chair3) inst(p3,thinking) place(chair4) inst(p4,thinking) place(napkin23) inst(f) place(napkin34) inst(f) place(dish) inst(s) inst(s) inst(s) inst(s) inst(s) inst(s) inst(s) inst(s) inst(s) inst(s) inst(s) inst(s) inst(s) inst(s) inst(s) inst(s) inst(s) inst(s) inst(s) inst(s) inst(s) inst(s) inst(s) inst(s) place(napkin12) inst(f) place(napkin41) inst(f) Задача о философах и дедлоке model(Dinning_philosophers_deadlock) place(chair1) place(chair2) place(chair3) place(chair4) place(napkin23) place(napkin34) place(dish) place(napkin12) place(napkin41) arc_in(chair1,napkin41,getr) arc_in(chair1,napkin12,getl) arc_out(chair1,napkin41,putr) arc_out(chair1,napkin12,putl) arc_in(chair1,chair1,Leave) arc_out(chair1,chair1,put) arc_in(chair2,napkin12,getr) arc_in(chair2,napkin23,getl) arc