Mercurial > repos > sybila > ebcsgen_ctl_model_checking

diff 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
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