From Formal Models to Learned Dynamics: a Continuous Petri Net–Neural Network Framework for Liver Iron Metabolism | IEEE Conference Publication | IEEE Xplore