Formal Modelling of FHIR Based, Medical Data Exchange Using Algebraic Petri Nets

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]

Authors

Franziska Bathelt

This author has not been identified. Look up 'Franziska Bathelt' in Google

Michéle Kümmel

This author has not been identified. Look up 'Michéle Kümmel' in Google

Sven Helfer

This author has not been identified. Look up 'Sven Helfer' in Google

Christian Kamann

This author has not been identified. Look up 'Christian Kamann' in Google

Martin Sedlmayr

This author has not been identified. Look up 'Martin Sedlmayr' in Google