Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionBoth sides next revision | ||
pn2mc:cov_tina [2014/11/16 19:00] jbiernacki | pn2mc:cov_tina [2021/09/23 08:51] (current) | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | ====== | + | ====== |
+ | |||
+ | Here is a description of .kts files generation for coverability graphs of P/T-nets modelled | ||
+ | in TINA tool. | ||
===== Steps required to generate coverability graph of a P/T-net in TINA tool ===== | ===== Steps required to generate coverability graph of a P/T-net in TINA tool ===== | ||
- | - Select the first of the tab pages (//Coverability | + | |
- | | + | |
+ | - In the //building// section select an option called // | ||
+ | - Text file containing coverability graph of the modelled net will appear in the memo component of the window. Right click on this memo and select //save view// option from the context menu. Select name and location for the file. \\ \\ {{:pn2mc:tina:4.png?400|}} \\ \\ | ||
+ | | ||
**[[: | **[[: |