Franziska Bathelt, Michéle Kümmel, Sven Helfer, Christian Kamann, Martin Sedlmayr. Formal Modelling of FHIR Based, Medical Data Exchange Using Algebraic Petri Nets. In Louise Bilenberg Pape-Haugaard, Christian Lovis, Inge Cort Madsen, Patrick Weber, Per Hostrup Nielsen, Philip Scott, editors, Digital Personalized Health and Medicine - Proceedings of MIE 2020, Medical Informatics Europe, Geneva, Switzerland, April 28 - May 1, 2020 [conference cancelled because of Covid-19]. Volume 270 of Studies in Health Technology and Informatics, pages 597-601, IOS Press, 2020. [doi]
Abstract is missing.