Next: , Previous: Ada Mapping Rules, Up: Top


8 Petri Net Mapping Rules

Ocarina lets you generate Petri nets from AADL descriptions. This way, it is possible to achieve verification on AADL architectures before generating the corresponding source code.