Mercurial > repos > sybila > ebcsgen_ctl_model_checking

view test-data/simple.bcsl.ts @ 2:67514c641d2f draft default tip

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 4719a69f514aed27d90c7017f052463b0b43cbb0
author sybila
date Sat, 15 Oct 2022 09:22:53 +0000
parents 213df1fd884f
children
line wrap: on
line source

{
    "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
}