Distributed embedded systems design using Petri nets.

Filipe Moutinho, Lus Gomes

Browse the full FPL paper archive.