| Automaton Type: Nondeterministic Büchi | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| #1 | ID: 2090 | Author: GOAL | #2 | ID: 2092 | Author: GOAL | #3 | ID: 2091 | Author: GOAL | |||
| St: 3 | Tr: 8 | Date: 2011-12-07 00:00:00 | St: 3 | Tr: 8 | Date: 2011-12-07 00:00:00 | St: 7 | Tr: 18 | Date: 2011-12-07 00:00:00 | |||
| Description: | Description: | Description: | |||||||||
| Download: GFF Promela Add to Cart | Download: GFF Promela Add to Cart | Download: GFF Promela Add to Cart | |||||||||
|
Acceptance condition: {s1, s2} |
Acceptance condition: {s1, s2} |
Acceptance condition: {s2, s4, s5, s6} |
|||||||||
|
|
|
|||||||||
| Automaton Type: Nondeterministic Co-Büchi | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| #1 | ID: 2347 | Author: GOAL | #2 | ID: 2349 | Author: GOAL | #3 | ID: 2348 | Author: GOAL | |||
| St: 5 | Tr: 20 | Date: 2011-12-07 00:00:00 | St: 5 | Tr: 20 | Date: 2011-12-07 00:00:00 | St: 12 | Tr: 48 | Date: 2011-12-07 00:00:00 | |||
| Description: | Description: | Description: | |||||||||
| Download: GFF Add to Cart | Download: GFF Add to Cart | Download: GFF Add to Cart | |||||||||
|
Acceptance condition: {s0} |
Acceptance condition: {s0} |
Acceptance condition: {s0, s3, s4} |
|||||||||
|
|
|
|||||||||
| Automaton Type: Deterministic Co-Büchi | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| #1 | ID: 2347 | Author: GOAL | #2 | ID: 2349 | Author: GOAL | #3 | ID: 2348 | Author: GOAL | |||
| St: 5 | Tr: 20 | Date: 2011-12-07 00:00:00 | St: 5 | Tr: 20 | Date: 2011-12-07 00:00:00 | St: 12 | Tr: 48 | Date: 2011-12-07 00:00:00 | |||
| Description: | Description: | Description: | |||||||||
| Download: GFF Add to Cart | Download: GFF Add to Cart | Download: GFF Add to Cart | |||||||||
|
Acceptance condition: {s0} |
Acceptance condition: {s0} |
Acceptance condition: {s0, s3, s4} |
|||||||||
|
|
|
|
|||||||||
| Automaton Type: Nondeterministic Muller | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| #1 | ID: 2093 | Author: GOAL | #2 | ID: 2101 | Author: GOAL | #3 | ID: 2097 | Author: GOAL | |||
| St: 3 | Tr: 8 | Date: 2011-12-07 00:00:00 | St: 3 | Tr: 8 | Date: 2011-12-07 00:00:00 | St: 7 | Tr: 18 | Date: 2011-12-07 00:00:00 | |||
| Description: | Description: | Description: | |||||||||
| Download: GFF Add to Cart | Download: GFF Add to Cart | Download: GFF Add to Cart | |||||||||
|
Acceptance condition: { {s1}, {s2} } |
Acceptance condition: { {s1}, {s2} } |
Acceptance condition: { {s2}, {s6} } |
|||||||||
|
|
|
|||||||||
| Automaton Type: Nondeterministic Rabin | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| #1 | ID: 2094 | Author: GOAL | #2 | ID: 2102 | Author: GOAL | #3 | ID: 2098 | Author: GOAL | |||
| St: 3 | Tr: 8 | Date: 2011-12-07 00:00:00 | St: 3 | Tr: 8 | Date: 2011-12-07 00:00:00 | St: 7 | Tr: 18 | Date: 2011-12-07 00:00:00 | |||
| Description: | Description: | Description: | |||||||||
| Download: GFF Add to Cart | Download: GFF Add to Cart | Download: GFF Add to Cart | |||||||||
|
Acceptance condition: { (∅, {s1, s2}) } |
Acceptance condition: { (∅, {s1, s2}) } |
Acceptance condition: { (∅, {s2, s4, s5, s6}) } |
|||||||||
|
|
|
|||||||||
| Automaton Type: Nondeterministic Streett | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| #1 | ID: 2095 | Author: GOAL | #2 | ID: 2103 | Author: GOAL | #3 | ID: 2099 | Author: GOAL | |||
| St: 3 | Tr: 8 | Date: 2011-12-07 00:00:00 | St: 3 | Tr: 8 | Date: 2011-12-07 00:00:00 | St: 7 | Tr: 18 | Date: 2011-12-07 00:00:00 | |||
| Description: | Description: | Description: | |||||||||
| Download: GFF Add to Cart | Download: GFF Add to Cart | Download: GFF Add to Cart | |||||||||
|
Acceptance condition: { ({s1, s2}, {s0, s1, s2}) } |
Acceptance condition: { ({s1, s2}, {s0, s1, s2}) } |
Acceptance condition: { ({s2, s4, s5, s6}, {s0, s1, s2, s3, s4, s5, s6}) } |
|||||||||
|
|
|
|||||||||
| Automaton Type: Nondeterministic Parity | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| #1 | ID: 2096 | Author: GOAL | #2 | ID: 2104 | Author: GOAL | #3 | ID: 2100 | Author: GOAL | |||
| St: 3 | Tr: 8 | Date: 2011-12-07 00:00:00 | St: 3 | Tr: 8 | Date: 2011-12-07 00:00:00 | St: 7 | Tr: 18 | Date: 2011-12-07 00:00:00 | |||
| Description: | Description: | Description: | |||||||||
| Download: GFF Add to Cart | Download: GFF Add to Cart | Download: GFF Add to Cart | |||||||||
|
Acceptance condition: 0: {s1, s2}, 1: {s0} |
Acceptance condition: 0: {s1, s2}, 1: {s0} |
Acceptance condition: 0: {s2, s4, s5, s6}, 1: {s0, s1, s3} |
|||||||||
|
|
|
|||||||||
| Automaton Type: Deterministic Parity | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| #1 | ID: 2898 | Author: GOAL | #2 | ID: 2896 | Author: GOAL | #3 | ID: 2897 | Author: GOAL | |||
| St: 8 | Tr: 32 | Date: 2011-12-07 00:00:00 | St: 9 | Tr: 36 | Date: 2011-12-07 00:00:00 | St: 15 | Tr: 60 | Date: 2011-12-07 00:00:00 | |||
| Description: | Description: | Description: | |||||||||
| Download: GFF Add to Cart | Download: GFF Add to Cart | Download: GFF Add to Cart | |||||||||
|
Acceptance condition: 0: {s0, s1}, 1: {s5}, 2: {s4, s6, s7}, 3: {s2, s3} |
Acceptance condition: 0: {s0}, 1: {s6}, 2: {s4, s5, s7, s8}, 3: {s1, s2, s3} |
Acceptance condition: 0: {s0, s1, s8, s14}, 1: {s6}, 2: {s5, s7, s9, s10, s11, s12, s13}, 3: {s2, s3, s4} |
|||||||||
|
|
|
|||||||||