Composing Automata

COMPOSING AUTOMATA

Clock Declarations

Name of clock 1:
Name of clock 2:
Name of clock 3:

Synchronous Event Declarations

Synchronous Event 1: synchronous w.r.t. clock
Synchronous Event 2: synchronous w.r.t. clock
Synchronous Event 3: synchronous w.r.t. clock
Synchronous Event 4: synchronous w.r.t. clock

Individual Component Declarations

Component Number 0:
Does this component specify clock relations? (Y/N)
Input events (comma separated) for this component:
Output events (comma separated) for this component:
Number of states: Initial state number:
State transitions for this component:
6 ck2 1 0 ck2 1 1 { ck1 ck2 } 2 2 { ck2 ck3 } 3 3 { ck1 ck2 } 4 4 ck2 5 5 { ck1 ck2 ck3 } 0

Component Number 1:
Does this component specify clock relations? (Y/N)
Input events (comma separated) for this component:
Output events (comma separated) for this component:
Number of states: Initial state number:
State transitions for this component:
0 ck1 1 1 ck1 1 1 e1 2 2 ck1 3 3 e2 4 4 ck1 4 4 e4 5 5 ck1 0

Component Number 2:
Does this component specify clock relations? (Y/N)
Input events (comma separated) for this component:
Output events (comma separated) for this component:
Number of states: Initial state number:
State transitions for this component:
0 ck2 1 1 ck2 2 2 ck2 3 3 ck2 4 4 ck2 5 5 ck2 0 0 e1 6 1 e1 7 2 e1 8 3 e1 9 4 e1 10 5 e1 11 6 ck2 12 7 ck2 13 8 ck2 14 9 ck2 15 10 ck2 16 11 ck2 17 12 ck2 18 13 ck2 19 14 ck2 20 15 ck2 21 16 ck2 22 17 ck2 23 18 ck2 19 19 ck2 20 20 ck2 21 21 ck2 22 22 ck2 23 23 ck2 18 18 e3 2 22 e3 0 23 e3 1

Component Number 3:
Does this component specify clock relations? (Y/N)
Input events (comma separated) for this component:
Output events (comma separated) for this component:
Number of states: Initial state number:
State transitions for this component:
0 ck3 0 0 e2 1 1 e3 2 2 ck3 3 3 ck3 4 4 e4 0 0 e3 5 5 e2 2 1 ck3 6 6 ck3 6 6 e3 7 7 ck3 8 8 ck3 9 9 e4 0 5 ck3 10 10 ck3 10 10 e2 7