Sidebar

Main

Internal

Trace:

These are the older revisons of the current document. To revert to an old revision, select it from below, click Edit this page and save it.

2021/09/23 08:51 pn2mc:cov_tina – (external edit) ±0 B (current)
2014/11/20 16:38 pn2mc:cov_tina – [Coverability graph generation in TINA] abiernacka ±0 B
2014/11/16 19:25 pn2mc:cov_tina – [Coverability graph generation in TINA] jbiernacki ±0 B
2014/11/16 19:23 pn2mc:cov_tina – [Coverability graph export in TINA] jbiernacki ±0 B
2014/11/16 19:23 pn2mc:cov_tina – [Steps required to generate coverability graph of a P/T-net in TINA tool] jbiernacki ±0 B
2014/11/16 19:22 pn2mc:cov_tina – [Steps required to generate coverability graph of a P/T-net in TINA tool] jbiernacki ±0 B
2014/11/16 19:21 pn2mc:cov_tina – jbiernacki ±0 B
2014/11/16 19:00 pn2mc:cov_tina – jbiernacki ±0 B
2014/11/16 18:51 pn2mc:cov_tina – created jbiernacki ±0 B