GraphizReference:GraphizExample 1 graph codeaabba->b```kroki {_type=dot} digraph { a -> b } ```Example 2PhiloDilemmaPetriNet Model PhiloDilemmaExtracted from ConceptBase and layed out by Graphvizbec3bec3hu3hu3bec3->hu3rel3rel3th3th3rel3->th3ri3ri3rel3->ri3bec2bec2hu2hu2bec2->hu2rel2rel2th2th2rel2->th2ri2ri2rel2->ri2acq2acq2ea2ea2acq2->ea2acq3acq3ea3ea3acq3->ea3bec1bec1hu1hu1bec1->hu1rel1rel1th1th1rel1->th1ri1ri1rel1->ri1acq1acq1ea1ea1acq1->ea1hu3->acq3th3->bec3ri3->acq2ri3->acq3ea3->rel3hu2->acq2th2->bec2ri2->acq2ri2->acq1ea2->rel2hu1->acq1th1->bec1ri1->acq3ri1->acq1ea1->rel1Example 3finite_state_machine00220->2SS(B)110->1SS(S)334488668->6S(b)558->5S(a)2->4S(A)2->6SS(b)2->5SS(a)1->3S($end)6->6S(b)6->5S(a)5->5S(a)775->7S(b)7->8S(b)7->5S(a)