Mercurial > repos > sybila > ebcsgen_ctl_model_checking

comparison test-data/simple.bcsl.ts @ 0:213df1fd884f draft

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
comparison
equal deleted inserted replaced
-1:000000000000 0:213df1fd884f
1 {
2 "nodes": {
3 "1": "(0, 0, 0, 0, 0, 1, 0, 0)",
4 "2": "(0, 0, 1, 0, 0, 0, 0, 0)",
5 "3": "(1, 0, 0, 0, 0, 0, 0, 0)",
6 "4": "(0, 0, 0, 1, 0, 0, 0, 0)",
7 "5": "(0, 0, 0, 0, 0, 0, 1, 0)",
8 "6": "(0, 0, 0, 0, 0, 0, 0, 1)",
9 "7": "(0, 0, 0, 0, 1, 0, 0, 0)",
10 "8": "(0, 1, 0, 0, 0, 0, 0, 0)"
11 },
12 "edges": [
13 {
14 "s": 8,
15 "t": 8,
16 "p": 1,
17 "label": "\u03b5"
18 },
19 {
20 "s": 3,
21 "t": 8,
22 "p": 1.0,
23 "label": "r2"
24 },
25 {
26 "s": 5,
27 "t": 6,
28 "p": 0.3333333333333333,
29 "label": "r2"
30 },
31 {
32 "s": 6,
33 "t": 6,
34 "p": 1,
35 "label": "\u03b5"
36 },
37 {
38 "s": 2,
39 "t": 3,
40 "p": 0.5,
41 "label": "r1_T"
42 },
43 {
44 "s": 7,
45 "t": 1,
46 "p": 0.5,
47 "label": "r2"
48 },
49 {
50 "s": 5,
51 "t": 2,
52 "p": 0.3333333333333333,
53 "label": "r1_S"
54 },
55 {
56 "s": 7,
57 "t": 3,
58 "p": 0.5,
59 "label": "r1_S"
60 },
61 {
62 "s": 4,
63 "t": 4,
64 "p": 1,
65 "label": "\u03b5"
66 },
67 {
68 "s": 1,
69 "t": 1,
70 "p": 1,
71 "label": "\u03b5"
72 },
73 {
74 "s": 5,
75 "t": 7,
76 "p": 0.3333333333333333,
77 "label": "r1_T"
78 },
79 {
80 "s": 2,
81 "t": 4,
82 "p": 0.5,
83 "label": "r2"
84 }
85 ],
86 "ordering": [
87 "P(S{a},T{a})::cell",
88 "P(S{a},T{a})::out",
89 "P(S{a},T{i})::cell",
90 "P(S{a},T{i})::out",
91 "P(S{i},T{a})::cell",
92 "P(S{i},T{a})::out",
93 "P(S{i},T{i})::cell",
94 "P(S{i},T{i})::out"
95 ],
96 "initial": 5,
97 "bound": 1
98 }