Login / Signup

A Coloured Petri Nets Reference Model of Insulin Infusion Pump Control Systems: Assisting the Certification Process.

Tássio Fernandes CostaAlvaro SobrinhoLenardo Chaves e SilvaLeandro Dias da SilvaAngelo Perkusich
Published in: IECON (2019)
Keyphrases
  • reference model
  • control system
  • coloured petri nets
  • reference models
  • database
  • real world
  • multi agent
  • relational databases
  • third party
  • high pressure