Skip to content
GitLab
Commit ee40c179 authored by Philipp Meyer's avatar Philipp Meyer
Browse files

Add fast majority voting protocol as example

parent 961bd0c0
Hide whitespace changes
Inline Side-by-side
examples/fast_majority.pp 0 → 100644
View file @ ee40c179
{
"transitions": [
{
"pre": [
"AY",
"AT"
],
"post": [
"AY",
"PY"
],
"name": "x__AY__AT"
},
{
"pre": [
"AY",
"AN"
],
"post": [
"AT",
"PT"
],
"name": "x__AY__AN"
},
{
"pre": [
"AT",
"AN"
],
"post": [
"AN",
"PN"
],
"name": "x__AT__AN"
},
{
"pre": [
"AT",
"AT"
],
"post": [
"AT",
"PT"
],
"name": "x__AT__AT"
},
{
"pre": [
"AY",
"PN"
],
"post": [
"AY",
"PY"
],
"name": "x__AY__PN"
},
{
"pre": [
"AY",
"PT"
],
"post": [
"AY",
"PY"
],
"name": "x__AY__PT"
},
{
"pre": [
"AN",
"PY"
],
"post": [
"AN",
"PN"
],
"name": "x__AN__PY"
},
{
"pre": [
"AN",
"PT"
],
"post": [
"AN",
"PN"
],
"name": "x__AN__PT"
},
{
"pre": [
"AT",
"PN"
],
"post": [
"AT",
"PT"
],
"name": "x__AT__PN"
},
{
"pre": [
"AT",
"PY"
],
"post": [
"AT",
"PT"
],
"name": "x__AT__PY"
}
],
"states": [
"AY",
"AT",
"AN",
"PY",
"PT",
"PN"
],
"initialStates": [
"AY",
"AN"
],
"predicate": "AY >= AN",
"trueStates": [
"AY",
"AT",
"PY",
"PT"
],
"title": "Fast Majority Protocol"
}
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment

LRZ Homepage | Datenschutz | Dokumentation und Betriebsbedingungen | Impressum