Formal Modelling of FHIR Based, Medical Data Exchange Using Algebraic Petri Nets. - Franziska Bathelt; Michéle Kümmel; Sven Helfer; Christian Kamann; Martin Sedlmayr (MIE, 2020)