Catlab
LightGraphs
MacroTools
ModelingToolkit
Petri