Open olynch opened 1 year ago
We should have a function which extracts the ODE from a Petri net as a lens.
We should have a function which extracts the ODE from a Petri net as a lens.