Download General Purpose Petri Net Simulator

27.3.2 PDF
function [PN_name, set_of_places, set_of_trans, set_of_arcs]...
= NO_light_def(global_info)
% file: pn_def.m:
% definition of petri net graph for Norwegian trafic lights
PN_name='Pet Net graph for trafic light (NOR)';
set_of_places={'pRED', 'pYELLOW', 'pGREEN'};
set_of_trans={'tR_RY','tRY_G','tG_Y','tY_R'};
set_of_arcs={'pRED','tR_RY',1, 'tR_RY','pRED',1, 'tR_RY','pYELLOW',1,...
'pRED','tRY_G',1, 'pYELLOW','tRY_G',1, 'tRY_G','pGREEN',1,...
'pGREEN','tG_Y',1, 'tG_Y','pYELLOW',1,...
'pYELLOW','tY_R',1, 'tY_R','pRED',1};
27.3.3 TDF: tR_RY
function [fire, new_color, override, selected_tokens, global_info] = ...
tR_RY_def(pn, new_color, override, selected_tokens, global_info)
% function fire = tR_RY_def(PN)
pR = get_place(pn, 'pRED');
pY = get_place(pn, 'pYELLOW');
tRRY = get_trans(pn, 'tR_RY');
fire = (pR.tokens) & not(pY.tokens);
27.3.4 TDF: tY_R
function [fire, new_color, override, selected_tokens, global_info] = ...
tY_R_def(pn, new_color, override, selected_tokens, global_info)
% function fire = tY_R_def(PN)
pR = get_place(pn, 'pRED');
pY = get_place(pn, 'pYELLOW');
fire = not(pR.tokens) & (pY.tokens);
139