comparison test-data/pctl_model_checking.bcsl.ts @ 0:ea5108514910 draft

planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b

0:ea5108514910

{
    "nodes": {
        "1": "(inf, inf, inf)",
        "2": "(1, 2, 0)",
        "3": "(0, 1, 0)",
        "4": "(0, 2, 0)",
        "5": "(2, 1, 0)",
        "6": "(2, 2, 0)",
        "7": "(1, 1, 0)"
    },
    "edges": [
        {
            "s": 7,
            "t": 3,
            "p": 0.8
        },
        {
            "s": 3,
            "t": 4,
            "p": 1.0
        },
        {
            "s": 5,
            "t": 7,
            "p": 0.9855072463768116
        },
        {
            "s": 1,
            "t": 1,
            "p": 1
        },
        {
            "s": 2,
            "t": 1,
            "p": 0.2
        },
        {
            "s": 5,
            "t": 6,
            "p": 0.014492753623188406
        },
        {
            "s": 6,
            "t": 1,
            "p": 0.014492753623188406
        },
        {
            "s": 6,
            "t": 2,
            "p": 0.9855072463768116
        },
        {
            "s": 4,
            "t": 1,
            "p": 1.0
        },
        {
            "s": 2,
            "t": 4,
            "p": 0.8
        },
        {
            "s": 7,
            "t": 2,
            "p": 0.2
        }
    ],
    "ordering": [
        "X()::rep",
        "Y()::rep",
        "Z()::rep"
    ],
    "initial": 5,
    "bound": 2
}