Mercurial > repos > sybila > ebcsgen_ctl_model_checking
diff test-data/simple.bcsl.ts @ 0:213df1fd884f draft
planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit ab45353a4e518f67057a1789aa527fb3bf1e74d5
| author | sybila |
|---|---|
| date | Thu, 06 Oct 2022 14:39:48 +0000 |
| parents | |
| children |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/test-data/simple.bcsl.ts Thu Oct 06 14:39:48 2022 +0000 @@ -0,0 +1,98 @@ +{ + "nodes": { + "1": "(0, 0, 0, 0, 0, 1, 0, 0)", + "2": "(0, 0, 1, 0, 0, 0, 0, 0)", + "3": "(1, 0, 0, 0, 0, 0, 0, 0)", + "4": "(0, 0, 0, 1, 0, 0, 0, 0)", + "5": "(0, 0, 0, 0, 0, 0, 1, 0)", + "6": "(0, 0, 0, 0, 0, 0, 0, 1)", + "7": "(0, 0, 0, 0, 1, 0, 0, 0)", + "8": "(0, 1, 0, 0, 0, 0, 0, 0)" + }, + "edges": [ + { + "s": 8, + "t": 8, + "p": 1, + "label": "\u03b5" + }, + { + "s": 3, + "t": 8, + "p": 1.0, + "label": "r2" + }, + { + "s": 5, + "t": 6, + "p": 0.3333333333333333, + "label": "r2" + }, + { + "s": 6, + "t": 6, + "p": 1, + "label": "\u03b5" + }, + { + "s": 2, + "t": 3, + "p": 0.5, + "label": "r1_T" + }, + { + "s": 7, + "t": 1, + "p": 0.5, + "label": "r2" + }, + { + "s": 5, + "t": 2, + "p": 0.3333333333333333, + "label": "r1_S" + }, + { + "s": 7, + "t": 3, + "p": 0.5, + "label": "r1_S" + }, + { + "s": 4, + "t": 4, + "p": 1, + "label": "\u03b5" + }, + { + "s": 1, + "t": 1, + "p": 1, + "label": "\u03b5" + }, + { + "s": 5, + "t": 7, + "p": 0.3333333333333333, + "label": "r1_T" + }, + { + "s": 2, + "t": 4, + "p": 0.5, + "label": "r2" + } + ], + "ordering": [ + "P(S{a},T{a})::cell", + "P(S{a},T{a})::out", + "P(S{a},T{i})::cell", + "P(S{a},T{i})::out", + "P(S{i},T{a})::cell", + "P(S{i},T{a})::out", + "P(S{i},T{i})::cell", + "P(S{i},T{i})::out" + ], + "initial": 5, + "bound": 1 +} \ No newline at end of file