Use color to distinguish morphisms of Petri nets

[slwu89]

When looking at morphisms $\phi: P \to P_{type}$ its often the case that $P_{type}$ will only have a small number of transitions and places. In that case, it would be nice to use color to visualize the data of the morphism, rather than edges, which do rather strange things with the graph placement algorithm and get somewhat unreadable for even moderately sized petri nets (see ex from docs):

[slwu89]

Also, in large PNs it becomes rather hard to see what is going on. I wonder if adding invisible edges (like is done to ease bipartite graph viz in Catlab) between transitions of the same type in the domain PN would help the graph placement algorithm produce more readable graphs?

I also am not sure if graphviz provides a way to put strict bounds on the ratio of size between the largest and smallest shapes used to draw nodes, for example. In the above plot, the type Petri net is almost indistinguishable.

[slwu89]

Could look at the header of https://github.com/AlgebraicJulia/Structured-Epidemic-Modeling/blob/main/stratification.ipynb