This is an old revision of the document!
Coverability graph export in TINA
Steps required to generate coverability graph of a P/T-net in TINA tool
- Select the first of the tab pages (Coverability graph to nuXmv parser).
- Select RTCP Nets option from the combo box.
- Enter direct path of the file to translate or select this file using file browser dialog shown after clicking the button designated with […] symbol.
- Click the Translate button
- NuXmv code after its appearance in the memo can be easily saved to a file by clicking on the Save button.
