% Clear and close everything
clear all; close all; fclose all;

% Run setup.m
setup;

% Set working folder
init('TRANLINE');

% Supervisor design procedure
% Step 1

% Creat plant (components)
Q = 2; % number of states
       % the initial state q0 is always labeled "0"
Qm = [0]; % marker state set
delta = [0,1,1; % transition triples (exit state, event, enter state)
         1,2,0
         ];
create('M1', Q, delta, Qm); % create automaton

% Creat plant (components)
Q = 2; % number of states
       % the initial state q0 is always labeled "0"
Qm = [0]; % marker state set
delta = [0,3,1; % transition triples (exit state, event, enter state)
         1,4,0
         ];
create('M2', Q, delta, Qm); % create automaton

% Creat plant (components)
Q = 2; % number of states
       % the initial state q0 is always labeled "0"
Qm = [0]; % marker state set
delta = [0,5,1; % transition triples (exit state, event, enter state)
         1,6,0;
         1,8,0
         ];
create('TU', Q, delta, Qm); % create automaton

% Creat specification (components)
Q = 2; % number of states
       % the initial state q0 is always labeled "0"
Qm = [0]; % marker state set
delta = [0,2,1; % transition triples (exit state, event, enter state)
         0,8,1;
         1,3,0
         ];
create('B1', Q, delta, Qm); % create automaton

% Creat specification (components)
Q = 2; % number of states
       % the initial state q0 is always labeled "0"
Qm = [0]; % marker state set
delta = [0,4,1; % transition triples (exit state, event, enter state)
         1,5,0
         ];
create('B2', Q, delta, Qm); % create automaton


%Step 2

sync('PLANT','M1','M2','TU');
allevents('ALL', 'PLANT');


%Step 3

sync('SPEC', 'B1', 'B2', 'ALL');


%Step 4

supcon('SUP', 'PLANT', 'SPEC');
%figure(1)
%displaydes('SUP') % display automaton


%Step 5

condat('SUPDAT', 'PLANT', 'SUP');
printdat('SUPDAT','SUPDAT')



%Supervisor localization

agent = {'M1', 'M2', 'TU'};
loc = {'LOC1', 'LOC3', 'LOC5'};
localize(loc, 'PLANT', 'SUP', agent);

figure(1)
displaydes('LOC1') % display automaton
figure(2)
displaydes('LOC3') % display automaton
figure(3)
displaydes('LOC5') % display automaton

sync('TEST','LOC1','LOC2','LOC3','PLANT');
isomorph('TEST','SUP')