IOPT-tools - A Web based tool framework for embedded systems controller development using Petri nets.

Lus Gomes, Filipe Moutinho, Fernando Pereira

Browse the full FPL paper archive.