Eric Badouel Marisa Llorens Javier Oliver Modeling Concurrent Systems: Reconfigurable Nets. 1568-1574 2003 conf/pdpta/2003-4 PDPTA db/conf/pdpta/pdpta2003-4.html#BadouelLO03