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).
This is an old revision of the document!
