Sidebar

Main

Internal

Trace:

This shows you the differences between two versions of the page.

--- pn2mc:cov_tina [2014/11/16 19:23]
jbiernacki [Steps required to generate coverability graph of a P/T-net in TINA tool]
+++ pn2mc:cov_tina [2021/09/23 08:51] (current)
@@ Line 1: / Line 1: @@
-====== Coverability graph export in TINA ======
+====== PT-net coverability graph generation in TINA ======
-Here is a description of .kts file generation .kts for coverability graphs of P/T-nets modelled
+Here is a description of .kts files generation for coverability graphs of P/T-nets modelled
 in TINA tool.