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:25] jbiernacki [Coverability graph generation in TINA] | 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 | Here is a description of .kts files generation for coverability graphs of P/T-nets modelled | ||