From Petri Nets to Executable Systems: An Environment for Code Generation and Analysis.

Joo Paulo Barros, Lus Gomes, Rui Pais, Rui Dias

Browse the full ICINCO paper archive.