José Irineu Ferreira Júnior, Alvaro Sobrinho, Leandro Dias da Silva, Paulo Cunha, Thiago D. Cordeiro, Angelo Perkusich, Antonio Marcus Nogueira de Lima. A coloured Petri nets-based system for validation of biomedical signal acquisition devices. The Journal of Supercomputing, 80(10):14242-14271, July 2024. [doi]
Abstract is missing.