info:eu-repo/grantAgreement/FCT/3599-PPCDT/PTDC%2FEEI-AUT%2F2641%2F2012/PTPetri-Rig - A Petri net based framework for embedded systems engineeRInGPetri-Rig