In[]:=
TokenEventSubstitutionGraph[{x_∘y_<->y_∘x_},3,"TokenLabeling"->False,GraphLayout->"LayeredDigraphEmbedding"]
Out[]=
In[]:=
ResourceFunction["TokenEventGraph"][{x_,y_}->{y,x},{a,b,c,d},2,"TokenDeduplication"->False,"EventDeduplication"->False]
Out[]=
In[]:=
ResourceFunction["TokenEventGraph"][{x_}->{x.a,x.b},{a,b},3,"TokenDeduplication"->True]
Out[]=
In[]:=
a.(b.c)
Out[]=
a.b.c
In[]:=
ResourceFunction["TokenEventGraph"][{x_}->{x+a,x+b},{0},3,"TokenDeduplication"->True]
Out[]=
In[]:=
ResourceFunction["TokenEventGraph"][{x_}->{x+a,x+b},{0},5,"TokenDeduplication"->True]
Out[]=
