Petri net modeling and simulation of post-transcriptional regulatory networks of human embryonic stem cell (hESC) differentiation to cardiomyocytes. - Aruana F. F. Hansel-Fröse; Christoph Brinkrolf; Marcel Friedrichs; Bruno Dallagiovanna; Lucía Spangenberg (J. Integr. Bioinform., 2025)