High-level Petri nets modules for embedded controllers design.

Jos Ribeiro, Fernando Melicio, Lus Gomes

Browse the full INDIN paper archive.