A coloured Petri nets-based system for validation of biomedical signal acquisition devices. - José Irineu Ferreira Júnior; Alvaro Sobrinho; Leandro Dias da Silva; Paulo Cunha; Thiago D. Cordeiro; Angelo Perkusich; Antonio Marcus Nogueira de Lima (J. Supercomput., 2024)