Using Colored Petri Nets for the requirements engineering of a surface electrogastrography system.

Alvaro Sobrinho, Angelo Perkusich, Leandro Dias da Silva, Paulo Cunha

Browse the full INDIN paper archive.