From AADL Architectural Models to Petri Nets: Checking Model Viability.

Xavier Renault, Fabrice Kordon, Jrme Hugues

Browse the full ISORC paper archive.