[See Petri net folder.
For topological models see the folder on Algebraic topology.]