A coloured Petri nets-based system for validation of biomedical signal acquisition devices.
José Irineu Ferreira JúniorAlvaro SobrinhoLeandro Dias da SilvaPaulo CunhaThiago D. CordeiroAngelo PerkusichAntonio Marcus Nogueira de LimaPublished in: J. Supercomput. (2024)