Skip to content
Snippets Groups Projects
Commit bfe3c469 authored by Alex's avatar Alex
Browse files

script for dot automata making

parent 558deaef
No related branches found
No related tags found
No related merge requests found
doc/fsm/agent.png

718 KiB

File moved
File moved
dot -Tpng mgm2.gv -o fullFSM.png
dot -Tpng supervisor_mgm2.gv -o supervisor.png
dot -Tpng agent_mgm2.gv -o agent.png
dot -Tpng agentBeginning.gv -o agentBeginning.png
dot -Tpng offerer.gv -o offerer.png
dot -Tpng receiver.gv -o receiver.png
dot -Tpng uncommited.gv -o uncommited.png
dot -Tpng committed.gv -o committed.png
File moved
doc/fsm/full_mgm2_agent.png

738 KiB

#!/bin/bash
for f in *.gv;
do
dot -Tpng $f -o ${f%.gv}.png
echo "Processing $f file...";
done
......@@ -14,12 +14,12 @@ digraph finite_state_machine {
agent ! ContinueAlgo
"];
WaitingForAgentValues -> WaitingForAgentValues [label = " sender : InformValue(val) && (#currentContext < #agents - 1) =>
currentContext.put(sender, val)
WaitingForAgentValues -> WaitingForAgentValues [label = " agent : InformValue(val) && (#currentContext < #agents - 1) =>
currentContext.put(agent, val)
"];
WaitingForAgentValues -> DecidingToContinueOrStop [label = " sender : InformValue(val) && (#currentContext == #agents - 1) =>
currentContext.put(sender, val)
WaitingForAgentValues -> DecidingToContinueOrStop [label = " agent : InformValue(val) && (#currentContext == #agents - 1) =>
currentContext.put(agent, val)
self.shouldAlgoKeepOn() match {
case true => broadcast ! ContinueAlgo
self ! ContinueAlgo
......@@ -28,9 +28,6 @@ digraph finite_state_machine {
}
"];
WaitingForAgentValues -> WaitingForAgentValues [label = " agent : Trigger =>
agent ! ContinueAlgo
"];
DecidingToContinueOrStop -> WaitingForAgentValues [label = " self ! ContinueAlgo =>
currentContext.reset();
......
doc/fsm/mgm2_supervisor.png

121 KiB

doc/fsm/receiver.png

275 KiB | W: | H:

doc/fsm/receiver.png

287 KiB | W: | H:

doc/fsm/receiver.png
doc/fsm/receiver.png
doc/fsm/receiver.png
doc/fsm/receiver.png
  • 2-up
  • Swipe
  • Onion skin
doc/fsm/supervisor.png

128 KiB

doc/fsm/uncommited.png

275 KiB | W: | H:

doc/fsm/uncommited.png

232 KiB | W: | H:

doc/fsm/uncommited.png
doc/fsm/uncommited.png
doc/fsm/uncommited.png
doc/fsm/uncommited.png
  • 2-up
  • Swipe
  • Onion skin
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment