Skip to content

Commit

Permalink
complex add vertex recv updated
Browse files Browse the repository at this point in the history
  • Loading branch information
@gabrielegenovese
gabrielegenovese committed Apr 16, 2024
1 parent ec6e7f8 commit 1efb83c
Show file tree
Hide file tree
Showing 67 changed files with 935 additions and 770 deletions.
1 change: 1 addition & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -61,6 +61,7 @@ Try out the tool using the `./test.py` script.
| function | ✅ yes |
| guards | ❌ no |
| register | 🟡 static eval |
| unregister | ❌ no |
| rand:uniform | ✅ yes |
| self | ✅ yes |
| anon functions | ✅ yes |
Expand Down
22 changes: 22 additions & 0 deletions examples/airline/correct_main_gv.dot
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
digraph global {
n_0 [label="global", shape="plaintext"];
n_0 -> n_1 [arrowhead=none];
n_1 [id="1", shape=circle, label="1"];
n_2 [id="2", shape=circle, label="2"];
n_3 [id="3", shape=circle, label="3"];
n_4 [id="4", shape=circle, label="4"];
n_5 [id="5", shape=circle, label="5"];
n_6 [id="6", shape=circle, label="6"];
n_7 [id="7", shape=circle, label="7"];

n_1 -> n_2 [id="[$e|0]", label="main/0.0Δagent/1.0"];
n_2 -> n_3 [id="[$e|1]", label="main/0.0Δagent/1.1"];
n_3 -> n_4 [id="[$e|2]", label="agent/1.0→main/0.0:{sell,pid_self}"];
n_3 -> n_5 [id="[$e|11]", label="agent/1.1→main/0.0:{sell,pid_self}"];
n_4 -> n_6 [id="[$e|7]", label="main/0.0→agent/1.0:{booked,Num}"];
n_5 -> n_7 [id="[$e|12]", label="main/0.0→agent/1.1:{booked,Num}"];
n_6 -> n_4 [id="[$e|2]", label="agent/1.0→main/0.0:{sell,pid_self}"];
n_7 -> n_5 [id="[$e|11]", label="agent/1.1→main/0.0:{sell,pid_self}"];
n_7 -> n_4 [id="[$e|2]", label="agent/1.0→main/0.0:{sell,pid_self}"];
n_6 -> n_5 [id="[$e|11]", label="agent/1.1→main/0.0:{sell,pid_self}"];
}
29 changes: 14 additions & 15 deletions examples/airline/main_0_global_view.dot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,21 +7,20 @@ digraph global {
n_0 -> n_3 [arrowhead=none];
n_4 [id="2", shape=circle, label="2"];
n_5 [id="4", shape=circle, label="4"];
n_6 [id="7", shape=circle, label="7"];
n_7 [id="3", shape=circle, label="3"];
n_6 [id="3", shape=circle, label="3"];

n_6 -> n_1 [id="[$e|10]", label="main/0.0→agent/1.0:{booked,Num}"];
n_6 -> n_7 [id="[$e|11]", label="main/0.0→agent/1.1:{booked,Num}"];
n_2 -> n_5 [id="[$e|9]", label="main/0.0→agent/1.1:{booked,Num}"];
n_7 -> n_5 [id="[$e|12]", label="main/0.0→agent/1.1:{booked,Num}"];
n_2 -> n_7 [id="[$e|8]", label="main/0.0→agent/1.0:{booked,Num}"];
n_1 -> n_6 [id="[$e|6]", label="agent/1.0→main/0.0:{sell,pid_self}"];
n_7 -> n_1 [id="[$e|3]", label="agent/1.1→main/0.0:{sell,pid_self}"];
n_7 -> n_5 [id="[$e|2]", label="agent/1.0→main/0.0:{sell,pid_self}"];
n_7 -> n_1 [id="[$e|13]", label="main/0.0→agent/1.0:{booked,Num}"];
n_5 -> n_7 [id="[$e|5]", label="main/0.0→agent/1.0:{booked,Num}"];
n_4 -> n_7 [id="[$e|1]", label="main/0.0Δagent/1.1"];
n_5 -> n_2 [id="[$e|4]", label="agent/1.1→main/0.0:{sell,pid_self}"];
n_1 -> n_7 [id="[$e|7]", label="main/0.0→agent/1.1:{booked,Num}"];
n_2 -> n_5 [id="[$e|11]", label="agent/1.1→main/0.0:{sell,pid_self}"];
n_2 -> n_5 [id="[$e|10]", label="agent/1.0→main/0.0:{sell,pid_self}"];
n_5 -> n_2 [id="[$e|7]", label="main/0.0→agent/1.1:{booked,Num}"];
n_6 -> n_5 [id="[$e|2]", label="agent/1.0→main/0.0:{sell,pid_self}"];
n_6 -> n_5 [id="[$e|3]", label="agent/1.1→main/0.0:{sell,pid_self}"];
n_5 -> n_1 [id="[$e|5]", label="main/0.0→agent/1.0:{booked,Num}"];
n_5 -> n_5 [id="[$e|6]", label="agent/1.0→main/0.0:{sell,pid_self}"];
n_4 -> n_6 [id="[$e|1]", label="main/0.0Δagent/1.1"];
n_2 -> n_1 [id="[$e|13]", label="main/0.0→agent/1.0:{booked,Num}"];
n_1 -> n_5 [id="[$e|9]", label="agent/1.0→main/0.0:{sell,pid_self}"];
n_3 -> n_4 [id="[$e|0]", label="main/0.0Δagent/1.0"];
n_1 -> n_2 [id="[$e|12]", label="main/0.0→agent/1.1:{booked,Num}"];
n_5 -> n_5 [id="[$e|4]", label="agent/1.1→main/0.0:{sell,pid_self}"];
n_1 -> n_5 [id="[$e|8]", label="agent/1.1→main/0.0:{sell,pid_self}"];
}
16 changes: 16 additions & 0 deletions examples/airline/seats_1_local_view.dot
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,16 @@
digraph seats_1 {
rankdir="LR";
n_0 [label="seats_1", shape="plaintext"];
n_1 [id="5", shape=circle, label="5"];
n_2 [id="1", shape=circle, label="1"];
n_0 -> n_2 [arrowhead=none];
n_3 [id="2", shape=doublecircle, label="2"];
n_4 [id="4", shape=circle, label="4"];
n_5 [id="3", shape=circle, label="3"];

n_2 -> n_3 [id="[$e|0]", label="arg (0)"];
n_2 -> n_5 [id="[$e|1]", label="arg (Num)"];
n_5 -> n_4 [id="[$e|2]", label="receive {sell,Pid1}"];
n_4 -> n_1 [id="[$e|3]", label="send {booked,Num} to Pid1"];
n_1 -> n_2 [id="[$e|4]", label="ɛ"];
}
13 changes: 6 additions & 7 deletions examples/async/main_0_global_view.dot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,13 +7,12 @@ digraph global {
n_0 -> n_3 [arrowhead=none];
n_4 [id="2", shape=circle, label="2"];
n_5 [id="4", shape=circle, label="4"];
n_6 [id="7", shape=circle, label="7"];
n_7 [id="3", shape=circle, label="3"];
n_6 [id="3", shape=circle, label="3"];

n_7 -> n_1 [id="[$e|3]", label="dummy1/0.0→dummy2/0.0:bello"];
n_7 -> n_5 [id="[$e|2]", label="dummy2/0.0→dummy1/0.0:ciao"];
n_1 -> n_6 [id="[$e|5]", label="dummy2/0.0→dummy1/0.0:ciao"];
n_4 -> n_7 [id="[$e|1]", label="main/0.0Δdummy2/0.0"];
n_5 -> n_2 [id="[$e|4]", label="dummy1/0.0→dummy2/0.0:bello"];
n_6 -> n_5 [id="[$e|2]", label="dummy2/0.0→dummy1/0.0:ciao"];
n_6 -> n_1 [id="[$e|3]", label="dummy1/0.0→dummy2/0.0:bello"];
n_1 -> n_2 [id="[$e|5]", label="dummy2/0.0→dummy1/0.0:ciao"];
n_4 -> n_6 [id="[$e|1]", label="main/0.0Δdummy2/0.0"];
n_3 -> n_4 [id="[$e|0]", label="main/0.0Δdummy1/0.0"];
n_5 -> n_2 [id="[$e|4]", label="dummy1/0.0→dummy2/0.0:bello"];
}
16 changes: 10 additions & 6 deletions examples/conditional-case/dummy_1_local_view.dot
View file
Original file line number Diff line number Diff line change
@@ -1,11 +1,15 @@
digraph dummy_1 {
rankdir="LR";
n_0 [label="dummy_1", shape="plaintext"];
n_1 [id="1", shape=circle, label="1"];
n_0 -> n_1 [arrowhead=none];
n_2 [id="2", shape=circle, label="2"];
n_3 [id="3", shape=doublecircle, label="3"];
n_1 [id="5", shape=doublecircle, label="5"];
n_2 [id="1", shape=circle, label="1"];
n_0 -> n_2 [arrowhead=none];
n_3 [id="2", shape=circle, label="2"];
n_4 [id="4", shape=circle, label="4"];
n_5 [id="3", shape=circle, label="3"];

n_2 -> n_3 [id="[$e|1]", label="receive Str"];
n_1 -> n_2 [id="[$e|0]", label="send {pid_self,integer} to Pid"];
n_4 -> n_1 [id="[$e|3]", label="ɛ"];
n_5 -> n_4 [id="[$e|2]", label="receive Str"];
n_3 -> n_5 [id="[$e|1]", label="send {pid_self,integer} to Pid"];
n_2 -> n_3 [id="[$e|0]", label="ɛ"];
}
63 changes: 21 additions & 42 deletions examples/conditional-case/main_0_global_view.dot
View file
Original file line number Diff line number Diff line change
@@ -1,47 +1,26 @@
digraph global {
rankdir="LR";
n_0 [label="global", shape="plaintext"];
n_1 [id="20", shape=circle, label="20"];
n_2 [id="5", shape=circle, label="5"];
n_3 [id="15", shape=circle, label="15"];
n_4 [id="19", shape=circle, label="19"];
n_5 [id="12", shape=circle, label="12"];
n_6 [id="11", shape=circle, label="11"];
n_7 [id="17", shape=circle, label="17"];
n_8 [id="18", shape=circle, label="18"];
n_9 [id="14", shape=circle, label="14"];
n_10 [id="6", shape=circle, label="6"];
n_11 [id="13", shape=circle, label="13"];
n_12 [id="10", shape=circle, label="10"];
n_13 [id="1", shape=circle, label="1"];
n_0 -> n_13 [arrowhead=none];
n_14 [id="9", shape=circle, label="9"];
n_15 [id="2", shape=circle, label="2"];
n_16 [id="21", shape=circle, label="21"];
n_17 [id="8", shape=circle, label="8"];
n_18 [id="4", shape=circle, label="4"];
n_19 [id="7", shape=circle, label="7"];
n_20 [id="3", shape=circle, label="3"];
n_21 [id="16", shape=circle, label="16"];
n_1 [id="5", shape=circle, label="5"];
n_2 [id="6", shape=circle, label="6"];
n_3 [id="1", shape=circle, label="1"];
n_0 -> n_3 [arrowhead=none];
n_4 [id="9", shape=circle, label="9"];
n_5 [id="2", shape=circle, label="2"];
n_6 [id="8", shape=circle, label="8"];
n_7 [id="4", shape=circle, label="4"];
n_8 [id="7", shape=circle, label="7"];
n_9 [id="3", shape=circle, label="3"];

n_18 -> n_2 [id="[$e|3]", label="main/0.0Δdummy/1.3"];
n_14 -> n_11 [id="[$e|11]", label="main/0.0→dummy/1.0:'Ciao"];
n_10 -> n_9 [id="[$e|12]", label="main/0.0→dummy/1.1:'Ciao"];
n_10 -> n_12 [id="[$e|8]", label="main/0.0→dummy/1.0:'Ciao"];
n_15 -> n_20 [id="[$e|1]", label="main/0.0Δdummy/1.1"];
n_2 -> n_17 [id="[$e|6]", label="dummy/1.2→main/0.0:{pid_self,integer}"];
n_19 -> n_21 [id="[$e|14]", label="main/0.0→dummy/1.1:'Ciao"];
n_2 -> n_10 [id="[$e|4]", label="dummy/1.0→main/0.0:{pid_self,integer}"];
n_2 -> n_14 [id="[$e|7]", label="dummy/1.3→main/0.0:{pid_self,integer}"];
n_17 -> n_8 [id="[$e|16]", label="main/0.0→dummy/1.1:'Ciao"];
n_20 -> n_18 [id="[$e|2]", label="main/0.0Δdummy/1.2"];
n_17 -> n_4 [id="[$e|17]", label="main/0.0→dummy/1.2:'Ciao"];
n_2 -> n_19 [id="[$e|5]", label="dummy/1.1→main/0.0:{pid_self,integer}"];
n_13 -> n_15 [id="[$e|0]", label="main/0.0Δdummy/1.0"];
n_10 -> n_3 [id="[$e|13]", label="main/0.0→dummy/1.2:'Ciao"];
n_14 -> n_1 [id="[$e|18]", label="main/0.0→dummy/1.1:'Ciao"];
n_19 -> n_7 [id="[$e|15]", label="main/0.0→dummy/1.2:'Ciao"];
n_19 -> n_6 [id="[$e|9]", label="main/0.0→dummy/1.0:'Ciao"];
n_14 -> n_16 [id="[$e|19]", label="main/0.0→dummy/1.2:'Ciao"];
n_17 -> n_5 [id="[$e|10]", label="main/0.0→dummy/1.0:'Ciao"];
n_2 -> n_4 [id="[$e|10]", label="main/0.0→dummy/1.2:'Ciao"];
n_2 -> n_6 [id="[$e|9]", label="main/0.0→dummy/1.1:'Ciao"];
n_2 -> n_8 [id="[$e|8]", label="main/0.0→dummy/1.0:'Ciao"];
n_1 -> n_2 [id="[$e|6]", label="dummy/1.2→main/0.0:{pid_self,integer}"];
n_7 -> n_1 [id="[$e|3]", label="main/0.0Δdummy/1.3"];
n_9 -> n_7 [id="[$e|2]", label="main/0.0Δdummy/1.2"];
n_1 -> n_2 [id="[$e|5]", label="dummy/1.1→main/0.0:{pid_self,integer}"];
n_5 -> n_9 [id="[$e|1]", label="main/0.0Δdummy/1.1"];
n_1 -> n_2 [id="[$e|4]", label="dummy/1.0→main/0.0:{pid_self,integer}"];
n_1 -> n_2 [id="[$e|7]", label="dummy/1.3→main/0.0:{pid_self,integer}"];
n_3 -> n_5 [id="[$e|0]", label="main/0.0Δdummy/1.0"];
}
53 changes: 37 additions & 16 deletions examples/conditional-case/main_0_local_view.dot
View file
Original file line number Diff line number Diff line change
@@ -1,21 +1,42 @@
digraph main_0 {
rankdir="LR";
n_0 [label="main_0", shape="plaintext"];
n_1 [id="5", shape=circle, label="6"];
n_2 [id="10", shape=circle, label="3"];
n_3 [id="1", shape=circle, label="1"];
n_0 -> n_3 [arrowhead=none];
n_4 [id="9", shape=circle, label="5"];
n_5 [id="2", shape=circle, label="2"];
n_6 [id="4", shape=circle, label="4"];
n_7 [id="3", shape=doublecircle, label="7"];
n_1 [id="5", shape=circle, label="5"];
n_2 [id="15", shape=circle, label="15"];
n_3 [id="12", shape=circle, label="12"];
n_4 [id="11", shape=circle, label="11"];
n_5 [id="17", shape=doublecircle, label="17"];
n_6 [id="14", shape=circle, label="14"];
n_7 [id="6", shape=circle, label="6"];
n_8 [id="13", shape=circle, label="13"];
n_9 [id="10", shape=circle, label="10"];
n_10 [id="1", shape=circle, label="1"];
n_0 -> n_10 [arrowhead=none];
n_11 [id="9", shape=circle, label="9"];
n_12 [id="2", shape=circle, label="2"];
n_13 [id="8", shape=circle, label="8"];
n_14 [id="4", shape=circle, label="4"];
n_15 [id="7", shape=circle, label="7"];
n_16 [id="3", shape=circle, label="3"];
n_17 [id="16", shape=circle, label="16"];

n_1 -> n_7 [id="[$e|3]", label="send 'Ciao A' to dummy/1.0"];
n_5 -> n_2 [id="[$e|8]", label="spawn dummy/1.1"];
n_2 -> n_6 [id="[$e|1]", label="spawn dummy/1.2"];
n_4 -> n_1 [id="[$e|4]", label="receive {Process,_}"];
n_6 -> n_4 [id="[$e|2]", label="spawn dummy/1.3"];
n_3 -> n_5 [id="[$e|0]", label="spawn dummy/1.0"];
n_1 -> n_7 [id="[$e|9]", label="send 'Ciao B' to dummy/1.1"];
n_1 -> n_7 [id="[$e|10]", label="send 'Ciao C' to dummy/1.2"];
n_4 -> n_3 [id="[$e|10]", label="send 'Ciao B' to dummy/1.1"];
n_13 -> n_8 [id="[$e|11]", label="ɛ"];
n_13 -> n_4 [id="[$e|9]", label="ɛ"];
n_6 -> n_5 [id="[$e|17]", label="ɛ"];
n_8 -> n_6 [id="[$e|12]", label="send 'Ciao C' to dummy/1.2"];
n_11 -> n_9 [id="[$e|8]", label="send 'Ciao A' to dummy/1.0"];
n_2 -> n_17 [id="[$e|14]", label="send 'Ciao D' to dummy/1.3"];
n_15 -> n_13 [id="[$e|6]", label="ɛ"];
n_14 -> n_1 [id="[$e|3]", label="spawn dummy/1.2"];
n_17 -> n_5 [id="[$e|18]", label="ɛ"];
n_3 -> n_5 [id="[$e|16]", label="ɛ"];
n_16 -> n_14 [id="[$e|2]", label="spawn dummy/1.1"];
n_13 -> n_2 [id="[$e|13]", label="ɛ"];
n_7 -> n_15 [id="[$e|5]", label="receive {Process,_}"];
n_9 -> n_5 [id="[$e|15]", label="ɛ"];
n_12 -> n_16 [id="[$e|1]", label="spawn dummy/1.0"];
n_1 -> n_7 [id="[$e|4]", label="spawn dummy/1.3"];
n_13 -> n_11 [id="[$e|7]", label="ɛ"];
n_10 -> n_12 [id="[$e|0]", label="ɛ"];
}
14 changes: 10 additions & 4 deletions examples/customer/customer.erl
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,9 @@
-module(hello).
-export([main/0, customer/0, store/0]).
-module(customer).
-export([main/0, customer/0, store/0, customer_dummy/0]).

customer_dummy() ->
store ! ciaooooo,
customer().
customer() ->
store ! item,
%%% Simulazione della decisione di un utente
Expand All @@ -24,6 +27,7 @@ purchase() ->
store() ->
receive
item ->
io:fwrite("richiesta ricevuta~n"),
receive
buy -> payment();
more -> store()
Expand All @@ -46,7 +50,9 @@ payment() ->
end.

main() ->
Cstm = spawn(?MODULE, customer, []),
Str = spawn(?MODULE, store, []),
register(store, Str),
timer:sleep(5),
Cstm = spawn(?MODULE, customer_dummy, []),
register(customer, Cstm),
register(store, Str).
done.
19 changes: 19 additions & 0 deletions examples/customer/customer_dummy_0_local_view.dot
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
digraph customer_dummy_0 {
rankdir="LR";
n_0 [label="customer_dummy_0", shape="plaintext"];
n_1 [id="5", shape=circle, label="2"];
n_2 [id="6", shape=circle, label="5"];
n_3 [id="1", shape=circle, label="1"];
n_0 -> n_3 [arrowhead=none];
n_4 [id="2", shape=circle, label="4"];
n_5 [id="8", shape=circle, label="3"];
n_6 [id="4", shape=doublecircle, label="6"];

n_5 -> n_1 [id="[$e|9]", label="send more to store/0.0"];
n_1 -> n_5 [id="[$e|5]", label="send item to store/0.0"];
n_2 -> n_4 [id="[$e|3]", label="receive reject"];
n_4 -> n_2 [id="[$e|8]", label="send payment to store/0.0"];
n_3 -> n_1 [id="[$e|2]", label="send ciaooooo to store/0.0"];
n_5 -> n_4 [id="[$e|10]", label="send buy to store/0.0"];
n_2 -> n_6 [id="[$e|1]", label="receive accepted"];
}
42 changes: 25 additions & 17 deletions examples/customer/main_0_global_view.dot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,22 +2,30 @@ digraph global {
rankdir="LR";
n_0 [label="global", shape="plaintext"];
n_1 [id="5", shape=circle, label="5"];
n_2 [id="6", shape=circle, label="6"];
n_3 [id="1", shape=circle, label="1"];
n_0 -> n_3 [arrowhead=none];
n_4 [id="2", shape=circle, label="2"];
n_5 [id="8", shape=circle, label="8"];
n_6 [id="4", shape=circle, label="4"];
n_7 [id="7", shape=circle, label="7"];
n_8 [id="3", shape=circle, label="3"];
n_2 [id="11", shape=circle, label="11"];
n_3 [id="6", shape=circle, label="6"];
n_4 [id="10", shape=circle, label="10"];
n_5 [id="1", shape=circle, label="1"];
n_0 -> n_5 [arrowhead=none];
n_6 [id="9", shape=circle, label="9"];
n_7 [id="2", shape=circle, label="2"];
n_8 [id="8", shape=circle, label="8"];
n_9 [id="4", shape=circle, label="4"];
n_10 [id="7", shape=circle, label="7"];
n_11 [id="3", shape=circle, label="3"];

n_3 -> n_4 [id="[$e|0]", label="main/0.0Δcustomer/0.0"];
n_1 -> n_7 [id="[$e|5]", label="customer/0.0→store/0.0:payment"];
n_6 -> n_1 [id="[$e|3]", label="customer/0.0→store/0.0:buy"];
n_7 -> n_1 [id="[$e|8]", label="store/0.0→customer/0.0:reject"];
n_2 -> n_6 [id="[$e|6]", label="customer/0.0→store/0.0:item"];
n_8 -> n_6 [id="[$e|2]", label="customer/0.0→store/0.0:item"];
n_7 -> n_5 [id="[$e|7]", label="store/0.0→customer/0.0:accepted"];
n_6 -> n_2 [id="[$e|4]", label="customer/0.0→store/0.0:more"];
n_4 -> n_8 [id="[$e|1]", label="main/0.0Δstore/0.0"];
n_5 -> n_7 [id="[$e|0]", label="main/0.0Δstore/0.0"];
n_10 -> n_6 [id="[$e|9]", label="customer_dummy/0.0→store/0.0:payment"];
n_1 -> n_10 [id="[$e|5]", label="customer_dummy/0.0→store/0.0:buy"];
n_11 -> n_1 [id="[$e|3]", label="customer_dummy/0.0→store/0.0:item"];
n_3 -> n_9 [id="[$e|8]", label="customer_dummy/0.0→store/0.0:item"];
n_6 -> n_2 [id="[$e|12]", label="store/0.0→customer_dummy/0.0:reject"];
n_9 -> n_8 [id="[$e|6]", label="customer_dummy/0.0→store/0.0:more"];
n_11 -> n_9 [id="[$e|2]", label="customer_dummy/0.0→store/0.0:item"];
n_8 -> n_1 [id="[$e|10]", label="customer_dummy/0.0→store/0.0:item"];
n_9 -> n_10 [id="[$e|7]", label="customer_dummy/0.0→store/0.0:buy"];
n_6 -> n_4 [id="[$e|11]", label="store/0.0→customer_dummy/0.0:accepted"];
n_2 -> n_6 [id="[$e|13]", label="customer_dummy/0.0→store/0.0:payment"];
n_9 -> n_3 [id="[$e|4]", label="customer_dummy/0.0→store/0.0:more"];
n_7 -> n_11 [id="[$e|1]", label="main/0.0Δcustomer_dummy/0.0"];
}
4 changes: 2 additions & 2 deletions examples/customer/main_0_local_view.dot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,6 @@ digraph main_0 {
n_2 [id="2", shape=circle, label="2"];
n_3 [id="3", shape=doublecircle, label="3"];

n_1 -> n_2 [id="[$e|0]", label="spawn customer/0.0"];
n_2 -> n_3 [id="[$e|1]", label="spawn store/0.0"];
n_2 -> n_3 [id="[$e|0]", label="spawn customer_dummy/0.0"];
n_1 -> n_2 [id="[$e|1]", label="spawn store/0.0"];
}
6 changes: 3 additions & 3 deletions examples/customer/store_0_local_view.dot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@ digraph store_0 {
n_5 [id="3", shape=circle, label="2"];

n_4 -> n_3 [id="[$e|0]", label="receive payment"];
n_3 -> n_4 [id="[$e|9]", label="send reject to customer/0.0"];
n_5 -> n_4 [id="[$e|3]", label="receive buy"];
n_3 -> n_4 [id="[$e|9]", label="send reject to customer_dummy/0.0"];
n_3 -> n_1 [id="[$e|3]", label="send accepted to customer_dummy/0.0"];
n_5 -> n_2 [id="[$e|8]", label="receive more"];
n_2 -> n_5 [id="[$e|6]", label="receive item"];
n_3 -> n_1 [id="[$e|2]", label="send accepted to customer/0.0"];
n_5 -> n_4 [id="[$e|1]", label="receive buy"];
}
Loading

0 comments on commit 1efb83c

Please sign in to comment.