In[]:=
ResourceFunction["WolframModel"][{{x,y},{y,z}}->{{w,y},{y,z},{z,w},{x,w}},{{0,0},{0,0}},3,"AllEventsStatesList"]
Out[]=
{{{0,0},{0,0}},{{1,0},{0,0},{0,1},{0,1}},{{0,1},{0,1},{2,0},{0,0},{0,2},{1,2}},{{0,1},{0,0},{0,2},{1,2},{3,0},{0,1},{1,3},{2,3}},{{0,2},{1,2},{3,0},{0,1},{1,3},{2,3},{4,0},{0,1},{1,4},{0,4}}}
In[]:=
ResourceFunction["WolframModel"][{{x,y},{y,z}}->{{w,y},{y,z},{z,w},{x,w}},{{0,0},{0,0}},3,"StatesList"]
Out[]=
{{{0,0},{0,0}},{{1,0},{0,0},{0,1},{0,1}},{{0,1},{0,1},{2,0},{0,0},{0,2},{1,2}},{{0,2},{1,2},{3,0},{0,1},{1,3},{2,3},{4,0},{0,1},{1,4},{0,4}}}
ResourceFunction["WolframModel"][{{x,y},{x,z}}->{{x,z},{x,w},{y,w},{z,w}},{{1,1},{1,1}},4]["StatesPlotsList","MaxImageSize"->100]
In[]:=
With[{eo=ResourceFunction["WolframModel"][{{x,y},{x,z}}->{{x,z},{x,w},{y,w},{z,w}},{{0,0},{0,0}},4]},TakeList[eo["EventsStatesPlotsList",ImageSize->Tiny,VertexLabels->Automatic],eo["GenerationEventsCountList","IncludeBoundaryEvents"->"Initial"]]]
Out[]=

,
,
,
,
,
,
,
,
,
,
,

In[]:=
ResourceFunction["WolframModel"][{{x,y},{y,z}}->{{w,y},{y,z},{z,w},{x,w}},{{0,0},{0,0}},3]["StatesList"]
Out[]=
{{{0,0},{0,0}},{{1,0},{0,0},{0,1},{0,1}},{{0,1},{0,1},{2,0},{0,0},{0,2},{1,2}},{{0,2},{1,2},{3,0},{0,1},{1,3},{2,3},{4,0},{0,1},{1,4},{0,4}}}
In[]:=
ResourceFunction["WolframModel"][{{x,y},{y,z}}->{{w,y},{y,z},{z,w},{x,w}},{{0,0},{0,0}},3]["AllEventsEdgesList"]
Out[]=
{{0,0},{0,0},{1,0},{0,0},{0,1},{0,1},{2,0},{0,0},{0,2},{1,2},{3,0},{0,1},{1,3},{2,3},{4,0},{0,1},{1,4},{0,4}}
In[]:=
MapIndexed[{"Expression",First[#2]}->#&,ResourceFunction["WolframModel"][{{x,y},{y,z}}->{{w,y},{y,z},{z,w},{x,w}},{{0,0},{0,0}},3]["AllEventsEdgesList"]]
Out[]=
{{Expression,1}{0,0},{Expression,2}{0,0},{Expression,3}{1,0},{Expression,4}{0,0},{Expression,5}{0,1},{Expression,6}{0,1},{Expression,7}{2,0},{Expression,8}{0,0},{Expression,9}{0,2},{Expression,10}{1,2},{Expression,11}{3,0},{Expression,12}{0,1},{Expression,13}{1,3},{Expression,14}{2,3},{Expression,15}{4,0},{Expression,16}{0,1},{Expression,17}{1,4},{Expression,18}{0,4}}
In[]:=
With[{g=ResourceFunction["WolframModel"][{{x,y},{y,z}}->{{w,y},{y,z},{z,w},{x,w}},{{0,0},{0,0}},3,"ExpressionsEventsGraph"]},Graph[g,VertexLabels->MapIndexed[{"Expression",First[#2]}->HoldForm[#]&,ResourceFunction["WolframModel"][{{x,y},{y,z}}->{{w,y},{y,z},{z,w},{x,w}},{{0,0},{0,0}},3]["AllEventsEdgesList"]]]]
Out[]=
In[]:=
MapIndexed[{"Expression",First[#2]}->#&,ResourceFunction["WolframModel"][{{x,y},{y,z}}->{{w,y},{y,z},{z,w},{x,w}},{{0,0},{0,0}},3]["AllEventsEdgesList"]]
Out[]=
{{Expression,1}{0,0},{Expression,2}{0,0},{Expression,3}{1,0},{Expression,4}{0,0},{Expression,5}{0,1},{Expression,6}{0,1},{Expression,7}{2,0},{Expression,8}{0,0},{Expression,9}{0,2},{Expression,10}{1,2},{Expression,11}{3,0},{Expression,12}{0,1},{Expression,13}{1,3},{Expression,14}{2,3},{Expression,15}{4,0},{Expression,16}{0,1},{Expression,17}{1,4},{Expression,18}{0,4}}
In[]:=
With[{g=ResourceFunction["WolframModel"][{{x,y},{y,z}}->{{w,y},{y,z},{z,w},{x,w}},{{0,1},{1,2}},1,"ExpressionsEventsGraph","EventSelectionFunction"->"MultiwaySpacelike"]},Graph[g,VertexLabels->MapIndexed[{"Expression",First[#2]}->HoldForm[#]&,ResourceFunction["WolframModel"][{{x,y},{y,z}}->{{w,y},{y,z},{z,w},{x,w}},{{0,1},{1,2}},1,"AllEventsEdgesList","EventSelectionFunction"->"MultiwaySpacelike"]]]]
Out[]=
In[]:=
ResourceFunction["MultiwaySystem"]["WolframModel"->{{{x,y},{y,z}}->{{w,y},{y,z},{z,w},{x,w}}},{{{0,0},{0,0}}},2,"StatesGraph",VertexSize->{0.9972222222222222`,0.29916666666666664`}]
Out[]=
In[]:=
ResourceFunction["MultiwaySystem"]["WolframModel"->{{{x,y},{y,z}}->{{w,y},{y,z},{z,w},{x,w}}},{{{0,0},{0,0}}},2,"StatesGraph","IncludeStateID"->True,VertexSize->1]//LayeredGraphPlot
Out[]=
In[]:=
ggx=Module[{ct=0},TokenEventGraph[VertexLabels->Placed[Automatic,After],GraphLayout{"LayeredDigraphEmbedding","RootVertex"->{"Expression",1}}]@GenerateFullEventSet[MultisetSubstitutionSystem[{{v1_,v2_},{v2_,v3_}}Module[{v4=(++ct)},{{v4,v2},{v2,v3},{v3,v4},{v1,v4}}]],2]@{{0,0}}]
Out[]=
In[]:=
ResourceFunction["WolframModel"][{{x,y},{y,z}}->{{w,y},{y,z},{z,w},{x,w}},{{0,0},{0,0}},4,"StatesList"]
Out[]=
{{{0,0},{0,0}},{{1,0},{0,0},{0,1},{0,1}},{{0,1},{0,1},{2,0},{0,0},{0,2},{1,2}},{{0,2},{1,2},{3,0},{0,1},{1,3},{2,3},{4,0},{0,1},{1,4},{0,4}},{{2,3},{0,4},{5,0},{0,2},{2,5},{3,5},{6,1},{1,2},{2,6},{0,6},{7,1},{1,3},{3,7},{0,7},{8,4},{4,0},{0,8},{1,8}}}
In[]:=
Module[{ct=0},TokenEventGraph[VertexLabels->Placed["Name",After],GraphLayout{"LayeredDigraphEmbedding","RootVertex"->{"Expression",1}}]@GenerateFullEventSet[MultisetSubstitutionSystem[{{v1_,v2_},{v2_,v3_}}Module[{v4=(++ct)},{{v4,v2},{v2,v3},{v3,v4},{v1,v4}}]],2]@{{0,0}}]
Out[]=