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

% Run setup.m
setup;

% Set working folder
init('OBSERV');

% Creat an automaton
Q = 7; % number of states
       % the initial state q0 is always labeled "0"
Qm = [3,4,5,6]; % marker state set
delta = [0,1,1; % transition triples (exit state, event, enter state)
         1,2,3;
         3,3,5;
         0,2,2;
         2,1,4;
         4,3,6
          ];
create('G', Q, delta, Qm); % create automaton
figure(1)
displaydes('G') % display automaton

% Creat an automaton
Q = 6; % number of states
       % the initial state q0 is always labeled "0"
Qm = [3,4,5]; % marker state set
delta = [0,1,1; % transition triples (exit state, event, enter state)
         1,2,3;
         0,2,2;
         2,1,4;
         4,3,5
          ];
create('K1', Q, delta, Qm); % create automaton
figure(2)
displaydes('K1') % display automaton

observable('G','K1','o',[2]);

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


observable('G','K2','o',[2]);