Formal Modelling of FHIR Based, Medical Data Exchange Using Algebraic Petri Nets.
Franziska BatheltMichéle KümmelSven HelferChristian KamannMartin SedlmayrPublished in: MIE (2020)
Keyphrases
- data exchange
- petri net
- query answering
- data integration
- petri net model
- schema mappings
- discrete event systems
- data management
- stochastic petri net
- fuzzy petri net
- conjunctive queries
- colored petri nets
- service composition
- machine learning
- data sets
- ims ld
- xml schema
- relational databases
- database systems
- concurrent processes
- metadata
- high level specifications
- programmable logic controller